Variable Compleja
Variable Compleja
VARIABLE COMPLEJA
APUNTES DE CTEDRA
JULIO DE 2016
JORGE YAZLLE
PREFACIO
Jorge F. Yazlle
Julio de 2016
ndice general
Captulo 4. INTEGRACIN 60
1. Curvas y contornos en el plano complejo 60
2. Integral de funciones complejas de variable real 62
3. Integral de funciones de variable compleja sobre contornos 63
4. Integracin sobre contornos cerrados 68
5. Las frmulas integrales de Cauchy. Consecuencias 75
APNDICE: Demostracin de la frmula generalizada de Cauchy 81
EJERCICIOS 84
1
2 ndice general
Bibliografa 160
Captulo 1
NMEROS COMPLEJOS
Los nmeros reales, a pesar de sus excelentes propiedades, presentan algunas deciencias,
2
como por ejemplo la inexistencia de soluciones de ecuaciones sencillas tales como x +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 nes 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.
C = {(a, b) : a, b R}
En otras palabras, si z es un nmero complejo, debe ser z = (a, b) en donde a y b son ambos
nmeros reales; a se denomina la parte real de z (denotada mediante Re z ), y b se denomina
la parte imaginaria de z (denotada mediante Im z ).
Se dice que dos nmeros complejos son iguales si sus respectivas partes reales son iguales
y, al mismo tiempo, sus respectivas partes imaginarias son tambin iguales. Es decir,
(a1 , b1 ) = (a2 , b2 ) a1 = a2 b1 = b2
Por supuesto que, as presentado, pareciera ser que C es simplemente otro nombre para R2 . Sin
embargo, con las operaciones que deniremos a continuacin se genera un sistema con profundas
diferencias.
El sistema de los nmeros complejos es el conjunto C de todos los nmeros comple-
jos con las operaciones de suma (+) y producto () denidas de la siguiente manera, para
complejos cualesquiera (a1 , b1 ) y (a2 , b2 ):
(a1 , b1 ) + (a2 , b2 ) = (a1 + a2 , b1 + b2 )
(a1 , b1 ) (a2 , b2 ) = (a1 a2 b1 b2 , a1 b2 + b1 a2 )
Muchas veces, omitiremos el punto para denotar un producto de nmeros complejos.
Como vemos de la denicin, + y son operaciones binarias (cerradas) en C. Veremos ahora
otras propiedades bsicas.
Si (a1 , b1 ) y (a2 , b2 ) son dos complejos, gracias a la conmutatividad de la suma de nmeros
reales tenemos que
3
4 1. NMEROS COMPLEJOS
a b
x= 2 y = ,
a + b2 a2 + b 2
lo que muestra que cualquier complejo z = (a, b) 6= (0, 0) posee un nico inverso para el
producto, que se denomina el inverso de z y se denota por z 1 , siendo z 1 = a2 +b a b
2 , a2 +b2 .
Como vemos, (C, +, ) tiene estructura de cuerpo abeliano. Como en todo cuerpo, ocurre
que el producto de dos complejos es igual al neutro de la suma si, y slo si, al menos uno de los
factores es ese neutro (hecho que tambin puede vericarse haciendo las respectivas cuentas).
Una diferencia esencial que presenta en relacin con el cuerpo de los nmeros reales consiste en
que no introduciremos un orden en C, por lo que expresiones tales como z1 < z2 , con z1 , z2 C,
no tendrn, en general, sentido para nosotros (excepto que z1 y z2 estn representando nmeros
reales, en el sentido que explicaremos a continuacin).
isomorsmo permite identicar cada complejo real con el real correspondiente a su parte real,
siendo conveniente en la prctica escribir al complejo (a, 0) directamente como a; en particular,
(0, 0) = 0 y (1, 0) = 1. Resulta fcil vericar que para reales a, b, cualesquiera, se tiene que
(a, b) = (a, b), y, en particular, 0 (a, b) = 0.
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 vericar.
En virtud del isomorsmo entre los complejos reales y los reales, y de que i = (0, 1), cualquier
complejo z = (a, b) puede escribirse como
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 su 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.1. 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 tambin se lee z conjugado .
Es fcil vericar 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.
La conjugacin y el mdulo satisfacen las siguientes propiedades, para todos z, w C:
(a) z+w =z+w (b) zw =zw
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|
Las demostraciones son de rutina y quedan de ejercicio, excepto la correspondiente al inciso (o),
conocida como la propiedad triangular, por razones que veremos ms adelante. Asumiremos
todas las anteriores demostradas, 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|.
1. EL SISTEMA DE LOS NMEROS COMPLEJOS 7
A travs de una sencilla induccin matemtica, puede verse que la desigualdad triangular
vale para la suma de varios complejos:
Xn X n
zk |zk |
k=1 k=1
Fcilmente se deduce que R2 y C, con las operaciones habituales de suma y producto por un
escalar, son isomorfos como espacios vectoriales sobre el cuerpo de los reales, y para verlo bas-
ta considerar la funcin identidad f (x, y) = (x, y). Debido a este isomorsmo, un nmero
complejo puede verse como un punto o como un vector en el plano; en este ltimo caso, conven-
dremos que dos vectores con igual longitud, direccin y sentido representan un mismo nmero
complejo, independientemente de su punto de aplicacin (o sea, los complejos son vectores li-
bres). Por ello, el nmero complejo z = (x, y) se puede representar mediante cualquier vector
cuyos puntos de origen (a1 , b1 ) y destino (a2 , b2 ) satisfagan a2 a1 = x, b2 b1 = y .
El mdulo de un nmero complejo es la longitud de cualquiera de los vectores que lo re-
presentan, o igualmente la distancia entre el punto que representa al complejo y el origen de
coordenadas.
Cuando los nmeros complejos se consideran en correspondencia uno a uno con los puntos del
plano cartesiano, al plano se lo denomina plano complejo o plano z . Los ejes de coordenadas
se llaman eje real y eje imaginario del plano z .
Ahora podemos entender el porqu del nombre de la propiedad triangular: en cualquier trin-
gulo, la medida de un lado no puede exceder a la suma de las medidas de los otros dos.
El vectorz1 z2 es la otra diagonal del paralelogramo que tiene como lados adyacentes
a los vectoresz1 y z2 : el vector que va desde z2 hasta z1 , como puede verse al construir el
paralelogramo correspondiente a la suma de z1 y z2 .
x = r cos y = r sen
p y
r = |z| = x2 + y 2 tan =
x
2. FORMA EXPONENCIAL DE LOS NMEROS COMPLEJOS 9
ei = cos + i sen ,
llamada Frmula de Euler, que dene el smbolo ei para cualquier valor real de . Con ella,
podemos expresar al nmero complejo z = x+iy en una manera ms compacta, llamada forma
exponencial:
z = rei
donde r es un nmero real mayor o igual que cero (el mdulo de z) y es cualquier argumento
1
de z.
Para el punto en el origen, r es igual a cero, y en tal caso no est denido, pero por
convencin establecemos que la forma exponencial para el complejo (0, 0) es 0.
i
Destacamos que, en particular, la expresin e , o su equivalente cos + i sen , representa
un complejo de mdulo unitario y direccin .
La ventaja de la notacin introducida por Euler es que, al realizar productos, cocientes y
potencias enteras de complejos expresados en forma exponencial, se preservan las propiedades
conocidas de la exponenciacin, (productos y cocientes de potencias de igual base, y potencia
de una potencia), segn veremos a continuacin.
2.1.1. Determinacin geomtrica del producto. Sean los nmeros complejos: o = (0, 0),
u = (1, 0), z1 6= 0 y z2 6= 0. Considerando a ou como homlogo a oz2 , construimos el tringulo
oz2 w semejante al tringulo ouz1 , con arg w = arg z1 + arg z2 = 1 + 2 .
1Otra abreviacin que algunos textos emplean para cos + i sen es cis . Usando esta expresin, resulta
z = rcis , conocida como la forma polar de z .
10 1. NMEROS COMPLEJOS
ow oz2 ow |z2 |
= = ow = |z1 | |z2 |
oz1 ou |z1 | 1
Luego,
rei = rei() ,
mostrando as que el mdulo del conjugado es igual al mdulo del complejo original, y un
argumento del conjugado es el opuesto del argumento (propiedades fcilmente visibles en la
representacin geomtrica).
2.3. Inverso multiplicativo en forma exponencial. Sea z = rei 6= 0 (es decir, r>0
2
y R). Por propiedad vista antes, sabemos que zz = |z| . Por lo tanto,
z
z =1
|z|2
De all que, por la unicidad del inverso multiplicativo,
z
z 1 =
|z|2
En consecuencia, en la forma exponencial, el inverso de z = rei es
rei
z 1 = = r1 ei
r2
Como vemos, el mdulo del inverso de z es el inverso del mdulo de z (propiedad que ya
conocamos), y un argumento del inverso de z es el opuesto del argumento de z: el inverso
tiene la misma direccin que el conjugado. Usando ese hecho, queda como ejercicio realizar una
construccin geomtrica para obtener el inverso de z a partir del punto que representa a z en
el plano complejo.
z1 r1
= z1 z21 = r1 ei1 r21 ei2 = ei(1 2 )
z2 r2
Por lo tanto, el cociente de dos nmeros complejos tiene como mdulo el cociente de los m-
dulos, y como argumento la diferencia de los argumentos de dichos nmeros (si el complejo del
numerador es 0, el argumento queda indeterminado).
3. RADICACIN 11
(1) z n = rn ein
Es decir que: |z n | = |z|n = rn y arg (z n ) = n arg z = n.
3. Radicacin
Si z n es
es un nmero complejo yun entero positivo, se dice que el nmero complejo w es
una raz n-sima de
wz,= n
z , si ocurre que wn = z .
denotado
n
De la denicin, surge que 0 = 0. Nos preguntamos entonces por n z0 cuando z0 es un
i n
complejo no nulo cualquiera. Es decir, buscamos algn nmero w = re tal que w = z0 .
i0
Consideremos a z0 en su forma exponencial: z0 = r0 e , con 0 = Arg z0 (aunque igualmente
n in
podra considerarse cualquier otro argumento). Debe ocurrir entonces que r e = r0 ei0 , y,
por igualdad de nmeros complejos en forma exponencial:
r n = r0 r =
r0 n
0 + 2k
n = 0 + 2k = cualquiera sea kZ
n
Arg z0 +2k
Entonces,
n
z = n r0 ei n donde k es cualquier entero. Podra parecer que hay innitas
races n-simas, correspondientes a los innitos valores que puede tomar k. Sin embargo, que-
da de ejercicio demostrar que para k = m + n se obtiene el mismo valor que para k = m, y
que n valores distintos consecutivos parak producen distintos nmeros complejos. En conse-
cuencia, 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.
i Arg z
En resumen, si z = |z|e ,
p Arg z+2k
(2)
n
z = n |z|ei n ; k = 0, 1, ..., n 1
|z| y arg ( n z) = Arg z+2k
p
Es decir, | z| = ; k = 0, 1, ..., n 1
n n
n
Esto nos dice que existen n races n-simas distintas de cualquier nmero complejo distinto
2
de cero. Todas tienen el mismo mdulo y sus argumentos dieren en mltiplos de . El valor
n
que corresponde a k = 0 se denomina la determinacin principal de n
z , o la raz n-sima
principal de z .
12 1. NMEROS COMPLEJOS
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
Arg z
la raz n-sima de |z|. La direccin del complejo correspondiente a uno de los vrtices es
n
.
5
Ejemplo 1.2. Calcular 1.
5
p + 2k
El mdulo de cualquier 1 es r = 5
| 1| = 1, y sus argumentos son , con
5
k = 0, 1, 2, 3, 4.
Por tanto, las cinco races quintas de 1 son:
i 5
k = 0 : w0 = e + i sen
= cos
5 5
3 3 3
k = 1 : w1 = ei 5 = cos + i sen
5 5
k = 2 : w2 = ei = 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 gura.
5
Pentgono determinado por 1
3
Ejemplo 1.3. Calcular 27.
3 2k
El mdulo de cualquier 27 r = 3, y sus
es argumentos son = , con k = 0, 1, 2.
3
Por tanto, las tres races cbicas de 27 son:
3
Tringulo determinado por 27
4. LA EXPRESIN EXPONENCIAL ez . LOGARITMOS EN C 13
A veces se denota tambin a
n
z como z 1/n . Tambin es posible denir 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
zm
tenindose que, para z = rei es
z m/n = n m i(m+2km)/n
r e k = 0, 1, . . . , n 1
|ez | = ex arg ez = y
Ejemplo 1.4. e32i = e3 (cos (2) + i sen (2)) ' 8. 3585 18. 264i.
Dejamos como ejercicio probar las siguientes propiedades:
1. z C : ez 6= 0 4. ez = 1 k Z : z = 2ki
2. ez1 ez2 = ez1 +z2 5. n Z, (ez )n = enz
ez1
3.
z
= ez1 z2
e 2
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 innitos valores complejos distintos. De todos ellos, el valor que corres-
ponde ak = 0 se denomina la determinacin principal del logaritmo de z , o el logaritmo
principal de z , denotado Ln z :
Ln z = ln |z| + i Arg z con < Arg z
Ejemplo 1.5. Calcular ln (1) y ln (5 12i).
1. ln (1) = ln |1| + i + i2k = i ( + 2k) , para cualquier k Z.
2. ln (5 12i) = ln |5 12i| + i arctan 12
5
+ i2k = ln 13 1. 176i + i2k
= 2. 5649
1. 176i + 6. 2832ik , para cualquier k Z.
14 1. NMEROS COMPLEJOS
7. Potenciacin en general
En secciones anteriores, vimos cmo calcular za para zC y a Z, y para z=e y a C.
Ahora consideraremos el caso general en que la base es un complejo distinto de e y el exponente
sea complejo.
Sean z, a C, con z 6= 0 y z 6= e. La expresin exponencial generalizada se dene como
(5) z a = ea ln z
y puede escribirse de la forma:
1. un solo valor si a es un entero, que coincide con lo denido en la frmula (1), para
potencias enteras de un nmero complejo.
1
2. un nmero nito de valores si a es un racional. En particular zn coincide con
n
z,
denido a travs de la expresin (2).
Observacin 1.6. Tener en cuenta que la expresin (5) slo vale para z 6= e, y que ea es
una expresin univaluada que se calcula segn la frmula (3).
3
Ejemplo 1.7. Mostrar que: (1 i)2 tiene un solo valor, (1 i) 5 tiene cinco valores dis-
tintos y 12513i tiene innitos valores.
1. En relacin a (1 i)2 :
2
(1 i)2 = e2 ln(1i) = e2(ln 2i 4 +i2k) = eln 2 e2( 4 +2k)i = eln 2 e 2 i e2ki
h i
= 2e 2 i (1)2 = 2 cos + i sen = 2i
2 2
ln 2 2 i 4ki
De la expresin e e e ya podemos deducir que el valor de (1 i)2 es slo uno
4ki
porque e = 1, para k = 0, 1, 2, ...
3
2. En relacin a (1 i) 5 :
3 3
2i 3
(1 i) 5 = e 5 ln(1i) = e 5 (ln +i2k )
3 3
2 9 6k
4 = e 5 ln 20
i
e 5
i
16 1. NMEROS COMPLEJOS
6k
i
donde e 5 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
innitos 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 . Gracar.
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. Realizar una construccin geomtrica para obtener el inverso de z a partir del punto
que representa a z en el plano complejo.
7. Justicar las siguientes propiedades, vlidas para todos z, w C:
|z|
z
a) Im(iz) = Re(z) b) zw = z w c) = (w 6= 0) d) |z w| |z| |w|
w |w|
n n
8. Para n = 1, 2, . . . , 10, obtener i . Cmo se obtiene i para n Z?
9. Si z es un nmero complejo, son siempre conjugados los complejos z + 2i y z 2i? O
es necesario imponer condiciones a z?
10. Para z = x + iy , encuentre el mdulo de (3z + i)/(3z i)2 en trminos de x e y .
11. a ) Suponga que z C satisface que |z 1| |z + 1|. Pruebe que entonces se satisface
que |z 1| |z + 1|.
b ) Visualice grcamente que cualquier complejo del primer cuadrante (incluyendo los
semiejes) satisface que |z 1| |z + 1|, mientras que los del segundo cuadrante no.
Prubelo analticamente.
c ) Encuentre todos los complejos z que satisfacen la expresin |z 1| |z + 1|.
12. Sean z1 , z2 y z3 complejos con z1 6= z2 . Muestre que los tres estn sobre una misma
recta si, y slo si, (z3 z1 )/(z2 z1 ) es un nmero real.
13. Interpretar grcamente y demostrar la igualdad del paralelogramo:
z, w C, |z + w|2 + |z w|2 = 2 |z|2 + |w|2
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
denicin 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 denir 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.
z1 , z2 C, |z1 z2 | = 0 z1 = z2
Ntese que todas las propiedades anteriores son extensiones de las correspondientes propiedades
de valor absoluto en el campo de los nmeros reales.
Con la nocin de distancia as establecida, pasamos a la siguiente denicin crucial.
18
1. LA DISTANCIA EUCLDEA EN EL PLANO COMPLEJO. CONJUNTOS ABIERTOS Y CERRADOS 19
nito (pues Br (z) E es nito) de nmeros positivos, por lo que r0 > 0. Tendremos que Br0 (z)
no contiene puntos de E {z}, por lo que z tampoco es punto de acumulacin de E.
Corolario 2.7. Los subconjuntos nitos de C no poseen puntos de acumulacin.
Demostracin. Sea
S {Ak }k una familia cualquiera de subconjuntos abiertos S de C. Si
z k Ak , existe S k0 tal que z Ak0 , luego hay un entorno Br (z) Ak0 k Ak , lo
que muestra que k Ak es abierto. Esto prueba la primera armacin.
Tn
n
Sea {Ak }k=1 una familia nita de subconjuntos abiertos, y z k=1 Ak . Para cada k
{1, . . . , n}, existe un rk > 0Ttal que Brk (z) Ak . Sea r = mn{rk : k = 1, . . . , n}. Ser r > 0.
n
Veriquemos que Br (z) k=1 Ak : para todo z1 C con |z z1 | < r , ser |z z1 | < rk
cualquiera sea k {1, . . . , n} por la eleccin de r , por lo que z1 Brk (z) Ak para todo
k {1, . . . , n}, de donde z1 nk=1 Ak . Por lo tanto nk=1 Ak es abierto. Esto muestra la segunda
T T
armacin. Un ejemplo que muestra que la armacin no es vlida para intersecciones arbitrarias
T
es Ak = B 1 (0) para k 1, pues se tiene que k=1 Ak = {0}, que no es un subconjunto abierto
k
de C.
Sea {Ck }k
una familia cualquiera de subconjuntos cerrados de C. Por las leyes de De
c
= k Ckc , siendo este ltimo un conjunto T
T S
Morgan, se tiene que k C k abierto, segn
c
se demostr en el primer tem, ya que cada Ck es un conjunto abierto. Luego k Ck es un
conjunto cerrado. Esto demuestra la tercera armacin.
n
Sn c
Finalmente, sea {Ck }k=1 una familia nita de subconjuntos cerrados. Ser ( k=1 Ck ) =
Tn c
S 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.
c
1. Mostraremos que el complemento de E es abierto. Sea zE, luego z / E , por lo que
exister > 0 : Br (z) E = (prop. 2.5). Como Br (z) es abierto (prop. 2.4), para cada
z1 Br (z) existe r1 > 0 tal que Br1 (z1 ) Br (z), y entonces Br1 (z1 ) E = , por lo que
c c
z1
/ E . Entonces Br (z) E . Ya que z es arbitrario, se sigue que E es un conjunto
abierto.
2. La ida es inmediata por el inciso anterior. Para la vuelta, siendo E cerrado, se tiene que
E 0 E , por lo que E = E E 0 = E .
0 0
3. Primero observemos que si E F , debe ser E F : si z E 0 , r > 0, z1 E :
|z z1 | < r con z1 6= z . Pero tambin z1 F pues E F . Por lo tanto z F 0 . Con
0 0
esto podemos ver que E = E E F F = F , es decir, E F .
4. Puesto que E E , es directo que diam(E) diam(E). Sea > 0, y tomemos z y z1
0 0 0 0
arbitrarios en E . Sean z , z1 E tales que |z z | < /2 y |z1 z1 | < /2 (prop. 2.5).
0 0 0 0 0 0
Luego, |z z1 | |z z | + |z z1 | + |z1 z1 | < + |z z1 | + diam(E). Es decir,
|z z1 | + diam(E). Como z y z1 son arbitrarios, se sigue que diam(E) + diam(E),
y, puesto que tambin se eligi arbitrariamente, se deduce que diam(E) diam(E).
Teorema 2.13. Sea E R. E es abierto en R si, y slo si, existe AC tal que A es
abierto en C y E = A R.
Demostracin. Para la ida: supongamos que E es abierto en R. Eso quiere decir que,
para cada
S x E , existe rx > 0 tal que el intervalo (x rx , x + rx ) est contenido en E . Notar
S
que E = xE (x rx , x + rx ). Hagamos A = xE Brx (x) (aqu estamos considerando entornos
en C de radio rx alrededor de x). A es un subconjunto abierto de C (teor. 2.11). Adems,
S S S
AR= xE Brx (x) R = xE (Brx (x) R) = xE (x rx , x + rx ) = E .
Para la vuelta, supongamos que E = A R para algn conjunto A abierto en C. Sea x E .
Existe r > 0 : Br (x) A. Entonces Br (x) R A R, es decir, (x r, x + r) E , luego E
es abierto en R.
Lema 2.14. 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 .
22 2. LA TOPOLOGA USUAL DE LOS COMPLEJOS
Proposicin 2.19. Sea E un subconjunto de los reales, y supongamos que E posee cota
superior. Entonces el supremo de E pertenece a la clausura de E. Luego, si E es cerrado en R
y acotado superiormente, el supremo de E pertenece a E.
Demostracin. Sea s = sup E . Se tiene que, para todo r > 0, el intervalo (s r, s + r)
posee un punto de E (pues sino sr sera una cota superior para E , pero menor que el supremo,
y eso sera una contradiccin). Luego, s E . Para probar la ltima armacin en el enunciado
del teorema, notemos que si E es cerrado en R, tambin lo ser en C (cor. 2.17), as que E = E
(teor. 2.12), por lo que s E .
2. Conjuntos compactos
Estudiaremos ahora una clase de conjuntos que resultar de extrema importancia en el
estudio de la teora de funciones que veremos posteriormente. A pesar de que su denicin es
un tanto abstracta, llegaremos a ver que los conjuntos de esa clase son fcilmente caracterizables
2. CONJUNTOS COMPACTOS 23
Para cada j {1, . . . , n}, Br (p) Wqj = (en caso contrario, habra un z tal que |p z| < r y
|z qj | < rqj , deSdonde 2rqj = |p qj | |p z| + |z qj | < r + rqj 2rqj , contradiccin). De
n c
all que Br (p) j=1 Wqj = , y entonces Br (p) K = , de donde Br (p) K . Luego p es un
c
punto interior de K , el cual resulta, en consecuencia, ser un conjunto abierto. Por eso, K es
cerrado.
Para ver queK es acotado, notemos que la familia de todos los entornos de radio 1 alrededor
de los puntos de K es un cubrimientoSn por abiertos para el compacto K , as que hay una
n
subfamilia nita {B1 (zj )}j=1 tal que j=1 B1 (zj ) K . Denamos r = 1+m ax{|zj | : 1 j n}.
Sea z K . z pertenece a B1 (zm ) para algn m {1, . . . , n}, de modo que |z| |z zm |+|zm | <
|zm | + 1 r, y entonces z Br (0). Luego, K es acotado.
Resulta que las dos condiciones necesarias de la proposicin anterior tambin son sucien-
tes para decidir si un conjunto de nmeros complejos es compacto. Los siguientes resultados
apuntan a la demostracin de este hecho.
Demostracin. Hagamos = |(a, c) (b, d)| (la medida de las diagonales de R0 ). Ob-
viamente, 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 subcubri-
miento nito. 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 nita de
{Ak }k (de lo contrario, R0 estara cubierto por una subfamilia nita 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:
De la condicin (a), existe z C tal que z Rn para todo n (cor. 2.24). 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 sucientemente 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.26. (HeineBorel) Un subconjunto de C es compacto si, y slo si, es a la vez
cerrado y acotado.
Km , y, siendo ste compacto, hay una subfamilia nita {Kjc1 , . . . , Kjcn } que cubre a Km . Es decir,
T c
Km nq=1 Kjcq = n
S
q=1 K jq , o sea Km Kj1 . . . Kjn = , contradiciendo la hiptesis. La
T
contradiccin provino de suponer que j Kj = .
Teorema 2.29. Sea K C. K es compacto si, y slo si, todo subconjunto innito de K
posee un punto de acumulacin en K .
Si K no fuese acotado, para cada entero n 1 existira zn K tal que |zn | > n.
Haciendo E = {zn : n 1}, tendramos que E K pero E no tiene ningn punto
de acumulacin en C, y por lo tanto tampoco en K , contradiciendo la suposicin. La
contradiccin provino de suponer que K no es acotado.
Si K no fuese cerrado, existira z C que es punto de acumulacin de K pero no
pertenece a K . Entonces, para cada n 1, existira zn K tal que |zn z| < 1/n.
Haciendo E = {zn : n 1}, tendramos que E es innito (pues, en caso contrario,
tomaramos r = m n{|w z| : w E}, que sera positivo ya que es el mnimo de un
conjunto nito de reales positivos, pues z / E , y entonces ningn complejo en E estara
a distancia menor que r de z , contradiciendo que hay un n tal que r > 1/n y entonces
hay zn E tal que |zn z| < r ), E tiene a z como punto de acumulacin, y E no tiene
0
ningn otro punto de acumulacin en C. Para ver esto ltimo, tomemos z 6= z , hagamos
r = |z 0 z|/2 y elijamos N sucientemente grande como para que r > 1/N ; para todo
n N , ser |zn z| < 1/n 1/N < r, y entonces |z 0 zn | = |(z 0 z) (zn z)|
|z 0 z| |zn z| > |z 0 z| r = r; por lo tanto, Br (z 0 ) contiene a lo sumo una cantidad
0
nita de puntos de E , por lo que z no es punto de acumulacin de E (prop. 2.6).
Habramos construido entonces un subconjunto innito de K que no tiene punto
de acumulacin en K , contradiciendo la hiptesis. La contradiccin provino de suponer
que K no es cerrado.
|w zm | |w z| + |z zm | < + rm 2rm
Es decir, sera w B2rm (zm ) D = F c , contradiciendo que w F. La contradiccin provino
de suponer que |z w| < .
1. A1 y A2 son abiertos.
2. A1 A2 =
3. A A1 A2
4. A A1 6= =
6 A A2
Si A no es disconexo, se dice que es conexo. Un conjunto se dice totalmente disconexo si los
nicos subconjuntos no vacos de l que son conexos constan de un nico punto. Un dominio
es un subconjunto del plano que es a la vez abierto y conexo. Una regin es la unin de un
dominio con algn subconjunto de la frontera de ese dominio.
Generalmente, una buena estrategia para demostrar que un conjunto A es conexo es tomar
conjuntos A1 , A2 que satisfagan tres (cualesquiera) de las cuatro condiciones dadas ms arriba,
y mostrar que la restante no puede cumplirse.
Intuitivamente, un conjunto conexo consta de una sola pieza, mientras que un conjunto
disconexo est compuesto de partes contenidas en abiertos disjuntos. Con estas ideas en mente,
resulta aceptable que, por ejemplo, cualquier intervalo de nmeros reales es conexo. Demos-
tremos sto, de acuerdo a la denicin que dimos de conexidad, para el caso de los intervalos
cerrados (para los otros tipos de intervalos, la demostracin es anloga).
Supongamos s A1 . Siendo A1 abierto, existira > 0 tal que B (s) A1 . Tal puede
elegirse menor que r , por lo que s +
2
A1 I pero sera mayor que el supremo de
A1 I . Contradiccin que proviene de suponer s A1 . Por lo tanto, s / A1 .
Supongamos s A2 . Siendo A2 abierto, existira > 0 tal que B (s) A2 . Tal
puede elegirse menor que s x (que sera estrictamente positivo pues x A1 , s A2 y
A1 A2 = ); por propiedad de supremo, existira t A1 I tal que s < t s; pero
entonces t B (s) A2 , es decir, t pertenecera a A1 A2 . Contradiccin pues esos
conjuntos se supusieron disjuntos. La contradiccin proviene de suponer s A2 . Por lo
tanto, s / A2 .
As que s I pero s / A1 A2 . Entonces A1 A2 no puede contener a I . Esto permite concluir
que I es conexo.
Definicin 2.34. Dados z1 , z2 C, el segmento desde z1 hasta z2 es el conjunto
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 .
En consecuencia, 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 nito sin salirse del conjunto. Sin embargo, de
acuerdo a nuestra denicin, eso no es correcto; por ejemplo, el conjunto
1
x, sen C : 0 < x 1 {0}
x
satisface la denicin 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.
Teorema 2.37. 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 porA1 al conjunto de puntos de A que pueden unirse con z a travs de una
poligonal contenida en A, 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,
0
existe r > 0 tal que Br 0 (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 0 (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).
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
innito, obtenemos una correspondencia biyectiva entre los puntos del plano extendido, C , y
los de la esfera de Riemann, R; esta correspondencia se llama proyeccin estereogrca.
Vamos a deducir las expresiones para las coordenadas (x0 , y0 , 0 ) de Z en funcin de las
2 2 2
coordenadas (a, b) de z . Nuestros datos son que Z R (por lo que x0 + y0 + 0 = 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
30 2. LA TOPOLOGA USUAL DE LOS COMPLEJOS
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
2
2 2
que equivale a t (a + b + 1)t 2 = 0. De aqu que t = 0 o t = 2 2 . El valor t = 0
a +b +1
corresponde a la interseccin de la recta con la esfera en N , por lo que el que nos interesa es
2
el otro valor: t = 2 2 . Reemplazando en las otras ecuaciones, y recordando que a = Re z ,
a +b +1
b = Im z y que a + b = |z|2 , tenemos las coordenadas de Z en funcin del complejo z :
2 2
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 y 0 , y despejando Re z e Im z , deducimos que
x0 y0
Re z = Im z =
1 0 1 0
Hacemos notar que el exterior del crculo unitario centrado en el origen del plano C corres-
ponde al hemisferio norte, sin el ecuador; los puntos de la frontera de dicho crculo son jos
para la proyeccin estereogrca, 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 innito. 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 .
c
b ) Demostrar que E c = (E ) .
c ) Mostrar que E = E E c = E E .
c c
d ) Probar que (E) = E (E ) , 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
EJERCICIOS 31
A1 = {z C : |z| 1} {z C : |z 2| < 1}
1
A2 = {x R : 0 x < 1} 1 + : n Z, n 1
n
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. Gracar las siguientes regiones del plano complejo:
i) {z C : Re z = 2} {z C : Re z = 3 Im z}
ii)
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.
32 2. LA TOPOLOGA USUAL DE LOS COMPLEJOS
Nos proponemos ahora el objetivo de estudiar las funciones complejas denidas 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 denir 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:
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 1
T
10. f k Bk = k f (Bk )
Sif : X Y y S X , se dene 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 .
f :DC C
z 7 w = f (z)
33
34 3. FUNCIONES DE VARIABLE COMPLEJA
1 1 x + iy x y
w = f (z) = = = 2 + i
z x iy x + iy x + y2 x2 + y 2
de donde surge que
x y
u(x, y) = R v(x, y) = R
x2 + y2 x2 + y2
ambas denidas para todo vector no nulo de R2 .
Dada una funcin compleja siempre podemos obtener la funcin parte real u : D
f,
R R y la funcin parte imaginaria v : D R2 R. Recprocamente, cualquier par de
2
2
funciones reales de dos variables u(x, y) y v(x, y) con dominio D R dene 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 denida en x0 + iy0 si, y slo si, uyv estn denidas 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 denida para cualquier z C, por lo que, en
este caso, el dominio de denicin de la funcin es D = C. Por la sustitucin z = x + iy ,
tenemos que
2 2
Por lo tanto, u(x, y) = x y + 1 y v(x, y) = 2xy .
z+1
2. f (z) = . El nico valor de z en que esta expresin no puede ser evaluada es en 2i.
z2i
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 2y 2
Es decir, u(x, y) = xx+x+y
2 +(y2)2
2xy+2
y v(x, y) = 2
x +(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 denido para cualquier complejo no nu-
p
lo. Dado que ln |z| y Arg z son nmeros reales, tenemos que u(x, y) = ln x2 + y 2 y
y
v(x, y) = arctan x .
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 1 i r2 + 1 r2 + 1 r2 + 1
f rei = rei + i
= re + 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 grca en ejes independientes es entonces imposible, por lo que recurrimos al
siguiente articio: 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 z) , z 6= 0}.
p
Del ejemplo 3.2, sabemos que u(x, y) = ln 2 2
2
x +y . Si z est sobre la parbola, se satisface
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 arctan x ). La siguiente gura
2 2
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, la prolca e importante nocin
de lmite permite el desarrollo posterior de dos conceptos fundamentales: la derivacin y la
integracin.
Notar que no es necesario que z0 D para poder hablar de lmite cuando z tiende a z0 .
Adems, an estando denida la funcin en z0 , podra ocurrir que f (z0 ) 6= L.
Podramos haber dado una denicin equivalente de lmites en trminos de entornos, segn
veremos ahora.
Ejemplo 3.8. Si z0 , k y k0 son nmeros complejos jos, la funcin g:CC dada por
k0
si z = z0
g(z) =
k si z 6= z0
tiene lmite k cuando z z0 , > 0, basta con tomar = 1 para ver que se satisface
pues dado
la denicin. Ntese que la condicin 0 < |z z0 | hace que no interese cunto vale la funcin
0
en z0 (k en este caso), importando slo los valores en entornos reducidos de z0 .
Ejemplo 3.9. Sea h : C C denida mediante:
0 si z tiene ambas componentes racionales
h(z) =
z en cualquier otro caso
Mostraremos que lm h(z) = 0. Sea > 0. Tomemos = , y consideremos cualquier z C
z0
tal que 0 < |z| < . Si z |h(z)| = |0| = 0 < , y
tiene ambas coordenadas racionales, es si z
tiene alguna de sus coordenadas irracional, es |h(z)| = |z| < = . Como vemos, siempre que
0 < |z| < , es |h(z)| < , lo que demuestra que lm h(z) = 0.
z0
Ejemplo 3.13. Para f (z) = z/z , analicemos la existencia del lmite cuando z tiende a 0.
Si nos aproximamos a 0 por el semieje real positivo, tenemos que z = z, por lo que el cociente
z/z vale constantemente 1; en consecuencia, el lmite de la funcin por esta trayectoria es 1.
Pero si nos acercamos a 0 por el semieje imaginario positivo, para esos puntos es z = z (pues
+
si z = iy para y R , es z = 0 + iy = iy = z ) y entonces el lmite por esta trayectoria es
1. Luego, no existe lmite de la funcin cuando z tiende a 0.
Ahora encontraremos una caracterizacin de lmites de funciones de variable compleja a
partir de lmites de funciones de variables reales, lo que nos permitir obtener rpidamente
propiedades algebraicas de los procesos de lmite en el caso complejo (basados en el conocimiento
de propiedades anlogas para funciones reales).
Proposicin 3.14. Sea f (z) una funcin compleja denida en D C, con partes real e
imaginaria u(x, y) y v(x, y) respectivamente. Sean x0 , y0 , a, b R, y hagamos z0 = x0 + iy0 .
Entonces
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
(x, y) D 0 < (x x0 )2 + (y y0 )2 < = u(x, y) a + i v(x, y) b <
Como el mdulo de un complejo es siempre mayor o igual que el mdulo de sus partes real e
p
imaginaria, tenemos entonces que si (x, y) D y 0 <
(x x0 )2 + (y y0 )2 < , se satisface
que u(x, y) a < y que v(x, y) b < . Esto quiere decir que lm u(x, y) =
(x,y)(x0 ,y0 )
a y 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 , y0 ) < 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| < . Tomando = m n{1 , 2 }, tendremos que para cualquier z = (x, y)
2
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.
lm f (z)
f (z) zz0
3. Si adems es lm g(z) 6= 0, entonces lm =
zz0 zz0 g(z) lm g(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 f (z) + lm g(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 innito y lmite en el innito. La denicin de lmite que hemos consi-
derado hasta ahora corresponde a valores nitos para la variable y para el lmite, pero veremos,
a continuacin, variantes de la denicin, que permiten que la variable tienda a innito, o que
el lmite sea innito.
Lmite en el innito: dada una funcin f :DCC 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| < .
Como vemos, f debe estar denida en algn entorno del innito, y para cada >0
debe haber un entorno del innito en el cual los valores de la funcin dieren de L (en
mdulo) en una cantidad menor que .
4. CONTINUIDAD 41
1. Existe f (z0 ).
2. Existe lm f (z).
zz0
3. lm f (z) = f (z0 )
zz0
z D |z z0 | < z D B (z0 )
y que
|f (z) f (z0 )| < f (z) B f (z0 )
Por lo tanto, la denicin de continuidad equivale a que
> 0, > 0 : z D B (z0 ), f (z) B f (z0 )
lo cual es equivalente a que > 0, > 0 : f D B (z0 ) B f (z0 ) .
42 3. FUNCIONES DE VARIABLE COMPLEJA
Proposicin 3.26. Sea f continua en z0 , con f (z0 ) 6= 0. Entonces, existe r > 0 tal que
para todo z Br (z0 ), f (z) 6= 0.
Demostracin. Sea = f (z0 )/2 > 0. Por continuidad, en correspondencia con este ,
existe r > 0 tal que si |z z0 | < r , es f (z)f (z0 ) < . Entonces, para z satisfaciendo |z z0 | <
r, se tiene que f (z0 ) f (z) f (z) f (z0 ) < f (z0 )/2, es decir, f (z) > f (z0 )/2 > 0.
Luego, para todo z Br (z0 ) es f (z) 6= 0.
Analicemos ahora la continuidad de la restriccin de una funcin continua.
Teorema 3.33. Sea f : D C C. f es continua en D si, y slo si, para todo subconjunto
1
V que sea abierto en C, existe un abierto G tal que f (V ) = D G.
Demostracin. Supongamos f continua en D . Sea V un abierto. Para cada w V , sea
Pw = {z D : f (z) = w}, y w > 0 tal que Bw (w) V . Si Pw = , hagamos Gw = . De lo
contrario, por continuidad de f en D , para cada z Pw , existe z > 0 tal que f (D Bz (z))
S
Bw (w), y en esteScaso hagamos Gw = zPw Bz (z). En cualquier caso, Gw resulta abierto (teor.
2.10). Sea G = wV Gw , que resulta abierto (teor. 2.10), y mostremos, por doble inclusin,
1
que f (V ) = D G.
1
Si z0 f
S0 ) V , por lo que z0 D. Sea w0 = f (z0 ). Tenemos que z0 Pw0 ,
(V ), f (z
con lo que Gw0 = zPw0 Bz (z) Bz0 (z0 ), y entonces z0 Gw0 G.
Si z0 G D , z0 D y existe w V tal que z0 Gw . Luego Gw 6= , por lo que existe
z Pw tal que z0 Bz (z). Entonces, z0 DBz (z), y de all que f (z0 ) Bw (w) V .
1
Luego, z0 f (V )
Sean z0 D y > 0. Tomemos V = B f (z0 ) . V es abierto, por lo que, de la hiptesis,
1
existe un abierto G tal que f (V ) = G D. Ya que z0 f 1 (V ), tenemos que z0 G. Porser
1
> 0 tal que B (z0 ) G. Luego, f B (z0 ) D f (G D) = f f (V )
G abierto, existe
V = B f (z0 ) . Luego, f es continua en z0 . Como z0 se eligi arbitrariamente en D, se tiene
que f es continua en D .
Corolario 3.34. Sea f : D C C con D abierto en C. f es continua en D si, y slo
si, para todo subconjunto V que sea abierto en C, f 1 (V ) es un subconjunto abierto.
Demostracin. Sea {Vj }j un cubrimiento por abiertos para f (K). Para cada j ,
1
existe un abierto Gj tal que f (Vj ) = K Gj (teor. 3.33).
1
Dado z K , existe J tal que f (z) VJ , por lo que z f (VJ ) GJ . Esto muestra
que la familia {Gj }j es cubrimiento (por abiertos) para el compacto K , y entonces hay una
Sn
subfamilia nita {Gj1 , . . . , Gjn } de {Gj }j tal que k=1 Gjk K .
Si w f (K), existe z K tal que f (z) = w . Por lo que vimos, existe k {1, . . . , n} tal
1
que z Gjk , de donde z f (Vjk ), y entonces f (z) Vjk , es decir, w Vjk . Por lo tanto,
{Vj1 , . . . , Vjn } es subcubrimiento nito de {Vj }j para f (K). Luego, f (K) es compacto.
Corolario 3.37. Sea f : D C C. Si K es un subconjunto compacto de D y f es
continua en K, entonces f (K) es compacto.
Demostracin. De la prop. 3.27, f |K es continua en K . Sabemos que f (K) = f |K (K),
pues f (z) = f |K (z) para todo z K . Por teorema 3.36, f |K (K) es compacto. Luego, f (K) es
compacto.
La funcin continua f (z) = z , considerada sobre el disco abierto D = {z C : |z| < 1}
es tal que su mdulo no alcanza un extremo en D (por ejemplo, no hay ningn z0 en D tal
que para todo z D
|f (z)| |f (z0 )| (pues
sea z D, |f (z)| < 1 pero |f (z)| toma valores
arbitrariamente cercanos a 1 en D ). El siguiente corolario muestra que esta situacin no podra
darse si el subconjunto D fuese un compacto; concretamente, expresa el hecho de que si una
funcin continua se considera restringida a un conjunto compacto, entonces el mdulo de la
funcin alcanza un mximo y un mnimo en puntos del conjunto compacto, y en consecuencia
una funcin continua denida sobre un compacto tiene mdulo acotado. Este resultado se usar
frecuentemente en los captulos que siguen.
aplicando a g lo demostrado previamente, tenemos que existe zm K tal que, para todo
z K , es |g(z)| |g(zm )|, es decir, |f (zM )| |f (z)| |f (zM )| |f (zm )|. Luego, para todo
z K , es |f (z)| |f (zm )|.
Otra propiedad interesante de las funciones continuas es que transforman subconjuntos
conexos en conexos.
Ya que E f (D) 6= , existe w E tal que w f (D). Por ello, existe z D tal que
f (z) = w E , y entonces z A, de donde deducimos que A es no vaco. Anlogamente,
B 6= .
A B = D ya que
A B = (D GA ) (D GB ) = D (GA GB ) D
A B = f 1 (E) f 1 (F ) = f 1 (E F ) f 1 (f (D)) D
GA B = (pues si hubiera z GA B , tendramos que z GA , z GB y z D, de
donde z A y z B , por lo que f (z) E y f (z) F , contradiciendo que E F = ),
y entonces, por lema 2.35,
A B GA B =
De esto, vemos que A B = . Anlogamente, A B =
Luego, por teorema 2.36, D es disconexo.
Corolario 3.40. Sea f : D C C. Si C es un subconjunto conexo de D y f es continua
en C, entonces f (C) es conexo.
5. Derivabilidad
Definicin 3.44. Sea f : D C C, y sea z0 un punto interior de D. f se dice derivable
en z0 (o tambin diferenciable en z0 ) si
f (z) f (z0 )
lm
zz0 z z0
existe; en tal caso, dicho lmite se llama la derivada de f en z0 y se denota por f 0 (z0 ) o
df
tambin .
dz z0
f (z)f (z0 )
La expresin se llama cociente incremental en z0 . A travs del cambio de variable
zz0
z = z z0 , la derivada de f en z0 tambin puede expresarse como
f (z0 + z) f (z0 )
f 0 (z0 ) = lm
z0 z
Ejemplo 3.45. A travs de la denicin, encontremos la derivada de la funcin f (z) =
(1 + 2i)z 2 en todos los puntos en que exista.
En z0 = 0:
|z|2 0 zz
f 0 (0) = lm = lm = lm z = 0
z0 z 0 z0 z z0
Para z0 = x0 + iy0 6= 0 y z = x + iy 6= z0 , es
f (z) f (z0 ) |z|2 |z0 |2 x2 + y 2 x20 y02
= =
z z0 z z0 (x x0 ) + i(y y0 )
Si restringimos a la recta y = y0 , es z = x + iy0 , y por esta trayectoria el cociente
incremental tiene lmite que vale
x2 x20
l1 = lm = lm (x + x0 ) = 2x0
xx0 x x0 xx0
5. DERIVABILIDAD 47
y 2 y02 1
l2 = lm = lm (y + y0 ) = 2iy0
yy0 i(y y0 ) yy0 i
f (z) f (z0 )
f (z) = (z z0 ) + f (z0 )
z z0
f (z)f (z0 )
Como lm (z z0 ) = 0, lm = f 0 (z0 ) y lm f (z0 ) = f (z0 ), podemos aplicar a la
zz0 zz0 (zz0 ) zz0
igualdad anterior la proposicin 3.15 para deducir que lm f (z) = f (z0 ), de donde deducimos
zz0
que f es continua en z0 .
De la denicin, es directo ver que las funciones constantes son derivables en cualquier punto
interior de su dominio, y que la derivada vale siempre 0. La derivacin en C conserva adems
algunas propiedades bsicas ya conocidas en R.
Proposicin 3.48. Sean f y g funciones complejas derivables ambas en z0 , y sea k una
constante compleja. Entonces:
d kf (z)
1. = kf 0 (z0 )
dz
z0
d f (z)+g(z)
2. = f 0 (z0 ) + g 0 (z0 )
dz
z0
d f (z)g(z)
3. = f 0 (z0 )g(z0 ) + f (z0 )g 0 (z0 )
dz
z0
d f (z)/g(z) f 0 (z0 )g(z0 )f (z0 )g 0 (z0 )
4. Si adems es g(z0 ) 6= 0, entonces dz
=
(g(z0 ))2
z0
f (z) = f (z0 )+(z z0 ) f 0 (z0 )+1 (z) g(z) = g(f (z0 ))+(z f (z0 )) g 0 (f (z0 ))+2 (z)
Redeniendo 2 en f (z0 ) en caso de ser necesario, podemos suponer que 2 es continua en f (z0 ),
es decir, 2 (f (z0 )) = lm 2 (z) = 0.
zf (z0 )
Para cualquier z D, tenemos entonces que
g f (z) = g f (z0 ) + f (z) f (z0 ) g 0 f (z0 ) + 2 f (z)
= g f (z0 ) + (z z0 ) f 0 (z0 ) + 1 (z) g 0 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.
Si hacemos tender z a z0 por una lnea paralela al eje real, tendremos entonces que
z = x + iy0 . La condicin de tender z a z0 resulta equivalente a la de tender x a x0 . Por
5. DERIVABILIDAD 49
u(h, 0) u(0, 0) 00
ux (0, 0) = lm = lm =0
h0 h h0 h
y, por simetra de la denicin de u en trminos de x e y , tambin es uy (0, 0) = 0. Adems, siendo
v constantemente nula, es vx (0, 0) = 0 = vy (0, 0). Por lo tanto, se satisfacen las ecuaciones de
CauchyRiemann en 0.
Por otro lado,
p p p
f (z) f (0) |xy| (x iy) x |xy| y |xy|
= = 2 i 2
z0 x + iy (x iy) x + y2 x + y2
50 3. FUNCIONES DE VARIABLE COMPLEJA
Por lo tanto,
f (z) f (z0 )
= ux (x0 , y0 ) + ivx (x0 , y0 ) +
z z0
Re(z z0 ) Im(z z0 )
1 (x, y) + i3 (x, y) + 2 (x, y) + i4 (x, y)
z z0 z z0
Por propiedades de mdulo, tenemos que
Re(z z0 ) Im(z z0 )
z z0 1 z z0 1
5. DERIVABILIDAD 51
f (z) f (z0 )
f 0 (z0 ) = lm = ux (x0 , y0 ) + ivx (x0 , y0 )
zz0 z z0
Es decir, f es derivable en z0 .
Ejemplo 3.55. Para f (z) = ez , tenemos que u(x, y) = ex cos y y que v(x, y) = ex sen y , de
donde
ux (x, y) = ex cos y uy (x, y) = ex sen y
vx (x, y) = ex sen y vy (x, y) = ex cos y
Las cuatro derivadas parciales existen y son continuas en todo el plano, y tambin las ecuaciones
z
de CauchyRiemann se cumplen en todo punto. Por lo tanto, e es derivable en todo C. Su
derivada vale
Ejemplo 3.56. 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 (en coordenadas polares) para todo z 6= 0. Adems, para r 6= 0 y < < ,
sen cos
las expresiones ur , u , vr , u , cos , , sen y son todas continuas, de donde ux , uy ,
r r
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 en 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 0 (z0 ) = ur (r0 , 0 ) + ivr (r0 , 0 ) ei0 = ei0 =
=
r0 r0 ei0 z0
6. Analiticidad
Veremos ahora un concepto ms fuerte que el de derivabilidad, y que es clave en la teora
de funciones de variable compleja.
Ejemplo 3.59. Vimos, en el ejemplo 3.46, 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, y en
consecuencia f (z) no es analtica en z = 0, ni en ningn otro punto. Notar que f no tiene
singularidades.
Ejemplo 3.60. Cualquier funcin racional es derivable en todo el plano excepto en los
puntos en que el denominador se anula (observ. 3.49). En consecuencia, toda funcin racional
es analtica en todo el plano excepto en las races del polinomio denominador, que resultan ser
singularidades evidentemente aisladas.
1
Ejemplo 3.61. h (z) =
sen(1/z)
. El numerador es una funcin constante, y por lo tanto
derivable en C. Como la funcin seno es derivable en todo C (ej. 3.55), por prop. 3.50 se tiene
que el denominador sen(1/z) es derivable en C {0}; adems, se anula en los reales de la forma
1
1
cualquiera sea k Z. Sea F = {0} : k Z , el cual es cerrado en C. Por proposicin
2k 2k
3.48, h resulta derivable en CF . Cada z CF admite r > 0 tal que Br (z) CF . Por ello,
h es analtica en C F. Cualquier entorno alrededor de cualquier punto en F contiene puntos
del semiplano superior, donde, segn vimos, h
es analtica. Por lo tanto, cada complejo en F
1
es una singularidad de h; con k Z son singularidades aisladas,
los complejos de la forma
2k
mientras que 0 es una singularidad no aislada, pues para cualquier r > 0 se puede elegir k N
tal que k > 1/(2r), tenindose que la correspondiente singularidad no nula 1/(2k) est en
Br (0).
6. ANALITICIDAD 53
De entrada, vemos que la funcin no es analtica en 0 pues no est denida all. Para
(x, y) 6= (0, 0), tenemos 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-
2
nes que son continuas en todo R salvo (0, 0), y en consecuencia son funciones continuas
2
en R {(0, 0)}.
Luego, las condiciones sucientes de analiticidad se satisfacen en todo el plano complejo excepto
el 0. De all que la funcin f (z) es analtica en C {0}.
Por supuesto, el ejemplo anterior podra haber sido resuelto tambin, y de manera ms
directa, si hubisemos advertido desde el principio que f (z) es la funcin racional 1/z , analitca
C {0}.
El comportamiento algebraico de las funciones analticas es el que la proposicin 3.48 nos
deja fcilmente entrever.
Teorema 3.66. 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.
La analiticidad tambin se preserva bajo composicin.
eiz + eiz
f (z) = cos z =
2
Dado que las funciones z , cz (c C) y ez 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.68, diga-
mos que los teoremas 3.64, 3.66 y 3.67 permiten estudiar fcilmente la analiticidad de muchas
de las funciones de variable compleja que ya conocemos, y obtener 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 0 (z) f (z) D f 0 (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
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:
En lo que resta de este captulo, asumiremos estos hechos como demostrados (an cuando
la demostracin queda pendiente) para mostrar propiedades matemticas interesantes de las
funciones analticas.
7. FUNCIONES ARMNICAS 55
eiz + eiz ey+ix + eyix ey cos x + iey sen x + ey cos x iey sen x
cos z = = =
2 2 2
y y y y
(e + e ) cos x (e e ) sen x
= +i
2 2
Es decir,
(ey +ey ) cos x
u(x, y) = 2
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 vericar para v .
Volviendo al problema planteado al inicio de esta seccin, podemos responder a la pregunta
armativamente, 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 denicin 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 ).
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.
56 3. FUNCIONES DE VARIABLE COMPLEJA
Teorema 3.72. 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 dieren en una constante, y pueden ser encontradas por integracin a partir
de las ecuaciones de CauchyRiemann, como mostramos en el siguiente ejemplo.
7.1. Curvas de nivel. Por si no ha quedado claro de los prrafos precedentes, resulta
u(x, y) y v(x, y) denidas
casi ilusorio pensar que si uno toma dos funciones reales cualesquiera
en un dominio D, f (z) = u(x, y) + iv(x, y) vaya a ser
la correspondiente funcin compleja
analtica en D . Para empezar, u y v deben ser armnicas en D . Pero eso no alcanza: v debe ser
tambin una armnica conjugada de u en D . Luego, u y v deben satisfacer las ecuaciones de
CauchyRiemann en D . Esto trae aparejado tambin una consecuencia geomtrica para u y v ,
segn veremos ahora.
Recordemos que si u(x, y) es una funcin real de dos variables, la curva de nivel de u
correspondiente al valor c R es la curva en el plano cartesiano xy denida implcitamente
por la expresin u(x, y) = c. Conforme c vara en R, tendremos las distintas curvas de nivel que
corresponden a u.
Ejemplo 3.74. Para u(x, y) = x2 y 2 , las curvas de nivel de u se obtienen de hacer variar
2 2
el parmetro c en la expresin x y = c.
es decir, toda vez que una curva de nivel de u se interseca con una de v en un punto de D, lo
hace en ngulo recto (excepto tal vez en los puntos en que se anula la derivada de f ).
Teorema 3.75. Sea f (z) = u(x, y) + iv(x, y) una funcin analtica en un dominio D.
Sea C1 una curva de nivel de u y C2 una de v . Supongamos que C1 y C2 se intersecan en
z0 = (x0 , y0 ) D, y que f 0 (z0 ) 6= 0. Entonces, la recta tangente a C1 en (x0 , y0 ) es perpendicular
a la recta tangente a C2 en ese mismo punto.
10
7.5
2.5
-2.5
-5
-7.5
-10
Figura 1
58 3. FUNCIONES DE VARIABLE COMPLEJA
EJERCICIOS
1. Demostrar todas las propiedades generales de las funciones que se enuncian en la seccin
Preliminares: A B f (A) f (B), etc.
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 denicin:
1 z 2 2
i) f (z) = ii) f (z) = iii) f (z) = (z i) iv) f (z) = z +i
|z| 1+z
3. Vericar, por denicin, que l m z21+1 = 2i+1
1
z1+i
z 2 +z2
4. Mostrar que l m no existe, calculndolo a travs de dos trayectorias distintas.
z1 z1
5. Mostrar que si existe l m 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
denicin de f, |f (z2 ) f (z1 )| < .
se tiene que
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 . Mostrar mediante un ejemplo que la compacidad de
K es necesaria en este resultado.
1
8. Usando la denicin, vericar que l m (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 )
z z 3 z
iii) f (z) = e iv) f (z) = 2 v) f (z) = sen z
z +i
10. Mostrar la validez de la Regla de L'Hpital:
Sif y g son funciones complejas diferenciables en z0 , con f (z0 ) = 0 = g (z0 ) y
0
g (z0 ) 6= 0, entonces
f (z) f 0 (z0 )
lm = 0
zz0 g (z) g (z0 )
9
mzi z z+z2i
Usar esta regla para encontrar l 15 +i mz0 senz z .
y l
2 2
11. Mostrar que la funcin f (z) = x + iy 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:
1
2
i) f (z) = 2z + 3 ii) f (z) = z + z iii)f (x + iy) = xy + 2i (x2 y 2 )
1 x2 y 2 2xyi
iv) f (z) = 4 v) f (z) = z Re(z) vi) f (x + iy) = e e
z +2z 2 +1
2
vii) f (z) = senh z viii) f (z) = tan z ix) f (z) = (3x + 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
n
analiticidad de las funciones f (z) = Ln z , g (z) = z y h (r cis) = 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).
0
a) Mostrar que si f (z) = 0 para todo z D , entonces f es constante en D . (Su-
2
gerencia: Suponga que : D R R satisface que x es idnticamente nula
en D . Use el Teorema del Valor Medio para funciones reales de una variable real
para demostrar que es constante sobre cualquier segmento horizontal contenido
en D . Anlogamente para los segmentos verticales cuando y es idnticamente nula.
EJERCICIOS 59
INTEGRACIN
Definicin 4.1. Una curva continua es una funcin continua z cuyo dominio es algn
intervalo cerrado [a, b] y cuyo codominio es C; z(a) y z(b) se llaman, respectivamente, punto
inicial y punto nal de la curva, y se dice que la curva va desde z(a) hasta z(b). Una
curva suave, o curva regular, es una curva continua cuya derivada z 0 es continua y no nula
en [a, b]. Una curva continua se llama suave a trozos, o curva regular a trozos, o contorno,
si hay una particin nita a = t0 < t1 < . . . < tn = b del intervalo [a, b] tal que la restriccin de
z a cada subintervalo [tj , tj+1 ] es una curva suave. Un contorno se dice cerrado si z(b) = z(a).
Haremos referencia a los contornos indistintamente a travs del lugar geomtrico que des-
criben (el contorno C , con la consideracin implcita del sentido de su recorrido) o a travs de
la expresin que los dene (el contorno z(t), a t b). La expresin z(t), con a t b, se
denomina una parametrizacin de C.
Grcamente hablando, una curva suave es un trazado continuo con vector tangente z 0 (t)
bien denido en cada punto, y que adems va girando en forma continua. Un contorno es un
nmero nito de curvas suaves concatenadas sucesivamente por los extremos. En los puntos de
unin, puede haber vrtices, es decir, puntos angulares, en los que puede no estar denido
z 0 (t), pero son slo una cantidad nita, y en ellos Re(z 0 (t)) e Im(z 0 (t) pueden presentar una
discontinuidad con salto nito. Un contorno cerrado tiene punto nal igual a su punto inicial.
60
1. CURVAS Y CONTORNOS EN EL PLANO COMPLEJO 61
t tk
pk (t) = zk + (zk+1 zk )
tk+1 tk
62 4. INTEGRACIN
con parmetro t tal que tk t tk+1 . De este modo, una parametrizacin para P es dada por
p(t), a t b, con p(t) = pk (t) para t [tk , tk+1 ], k = 0, 1, . . . , n 1.
Como es de esperarse, cuanto ms na es una particin (es decir, cuanto ms pequea es
su norma), ms ceida es la poligonal P al contorno C.
Proposicin 4.3. Sea C z(t), a t b, y sea > 0.
un contorno con parametrizacin
Existe > 0 tal que si P es una particin con norma menor que , entonces P induce una
poligonal P con parametrizacin p(t), a t b, tal que para todo t [a, b], |p(t) z(t)| < .
t tk
0 1 |z(t) z(tk )| < |z(tk+1 ) z(tk )| <
tk+1 tk 2 2
de donde
t tk
|p(t) z(t)| = zk + (zk+1 zk ) z(t)
tk+1 tk
t tk
|z(tk ) z(t)| + |z(tk+1 ) z(tk )| < + =
tk+1 tk 2 2
Supongamos que C es adems subconjunto de algn abierto D. Cabe preguntarse si una
poligonal inscripta en C es tambin subconjunto de D . Como la intuicin ya nos podra estar
indicando en base al resultado anterior, si la particin es sucientemente na, eso efectivamente
ocurre.
Proposicin 4.4. Sea C un contorno en un conjunto abierto D. Existe > 0 tal que toda
particin del intervalo de variacin del parmetro de C con norma menor que induce una
poligonal inscripta en C que est contenida en D.
Demostracin. Sea z(t), a t b, una parametrizacin para C . Siendo C compacto, Dc
c c
cerrado y C D = , existe > 0 tal que z C, w D , |z w| (prop. 2.31). Notar
que, en consecuencia, z C, B (z) D . Apelando a la prop. 4.3, sea > 0 tal que cualquier
particin P de [a, b] con kPk < induce una poligonal con parametrizacin p(t), con a t b,
tal que |z(t) p(t)| < para todo t [a, b]. Sea P cualquiera de tales particiones, y P la
poligonal inscripta en C que sta induce. Si w P , es w = p(t) para algn t [a, b]; como
|z(t) p(t)| < , y z(t) es un punto de C , es w B (z(t)) D. Siendo w arbitrario en P ,
tenemos que P D .
siempre que las dos integrales que aparecen a la derecha existan, en cuyo caso diremos que
z(t) es integrable en el intervalo [a, b]. En particular, si z(t) es continua (excepto en, a lo
sumo, una cantidad nita de puntos del intervalo donde haya discontinuidades con salto nito),
tambin lo sern Re(z(t)) e Im(z(t)), y existir la integral.
3. INTEGRAL DE FUNCIONES DE VARIABLE COMPLEJA SOBRE CONTORNOS 63
Proposicin 4.5. Sea z(t), con a t b, una funcin compleja de variable real tal que z0
Rb 0
es integrable en [a, b]. Entonces a
z (t)dt = z(b) z(a).
Demostracin. Supongamos que z(t) = x(t) + iy(t). Entonces, por denicin de integral
y por nuestros comentarios previos,
Z b Z b Z b
0 0
z (t)dt = x (t)dt + i y 0 (t)dt = x(b) x(a) + i(y(b) y(a)) = z(b) z(a)
a a a
una funcin continua salvo en un nmero nito de puntos (en los que no hay saltos innitos),
por lo que la integral existe.
Se puede demostrar que el valor de la integral es independiente de la parametrizacin elegida
para C (ejercicio).
Veremos, a continuacin, ejemplos de clculo de integrales a travs de la denicin, algunos
de los cuales, a su vez, ilustran diversas situaciones de inters que pueden presentarse.
R R
Ejemplo 4.6. Calculemos
C1
f (z)dz y C2 f (z)dz cuando f (z) = z , C1 es el segmento recto
2
desde 0 hasta 1+i y C2 es el arco de la parbola Im(z) = Re(z) desde 0 hasta 1 + i.
Para la primera integral, como no conocemos una expresin para la curva, nuestro primer
trabajo es encontrar una. Para eso, viendo al segmento en cuestin como subconjunto de R2 ,
corresponde a la recta y = x con x variando entre 0 y 1. De all que una posible forma de
representar paramtricamente a la curva es tomando x(t) = t, y(t) = t con 0 t 1. Es decir,
z(t) = t + it, por lo que z 0 (t) = 1 + i. Entonces f (z(t)) = z(t) = t it = t(1 i) y z 0 (t) = 1 + i.
Por lo tanto,
Z Z 1
1 1 1
t(1 i)(1 + i)dt = (1 i)(1 + i) t2 0 = 1 i2 = 1
f (z)dz =
C1 0 2 2
Para la integral sobre C2 ,
consideramos la parametrizacin del contorno dada por z(t) = t + it2
con 0t 1. Por lo tanto, z 0 (t) = 1 + 2it, y entonces
Z Z 1 Z 1 Z 1
2
f (z)dz = t(1 i)(1 + 2it)dt = (1 i) tdt + 2i t dt
C2 0 0 0
1 2 1 2i 3 1
1 2i 7 1
= (1 i) t 0+ t 0 = (1 i) + = + i
2 3 2 3 6 6
R R
En el ejemplo anterior, notar que
C1
f (z)dz 6= C2 f (z)dz an cuando el integrando es el
mismo y los dos contornos van desde el mismo punto inicial hasta el mismo punto nal. Queda
claro entonces que, en general, el valor de la integral depende tambin de los valores que toma
el integrando en los puntos intermedios del contorno. Sin embargo, hay casos en los que el valor
de la integral depende slo de los puntos inicial y nal, como lo muestra el siguiente ejemplo.
resulta
F 0 (t) = x(t)x0 (t) y(t)y 0 (t) + i(x0 (t)y(t) + x(t)y 0 (t)) = z(t)z 0 (t)
Luego, por la proposicin 4.5,
Z Z b
1 1
zdz = z(t)z 0 (t)dt = F (b) F (a) = z22 z12
C a 2 2
El ejemplo anterior muestra que para las funciones f (z) = 1 y f (z) = z , la integral de
cualquiera de ellas sobre cualquier curva suave cerrada vale 0. Esto no es cierto en general, an
cuando el integrando sea una funcin analtica en cada punto del contorno de integracin.
Ejemplo 4.8. Sea cualquier nmero complejo, y C cualquier circunferencia con centro
z0 R dz
z0 recorrida una vez en sentido positivo. Entonces, C zz 0
= 2i.
Para verlo, llamemos r al radio de C . Una parametrizacin para el contorno de integracin
0
es z(t) = z0 + r cos t + ir sen t, con 0 t 2 , tenindose que z (t) = r sen t + ir cos t =
i (ir sen t + r cos t) = i (z(t) z0 ). Luego,
Z Z 2 Z 2
dz 1
= i (z(t) z0 ) dt = i dt = 2i
C z z0 0 z(t) z0 0
3.1. La integral compleja y las integrales de lnea de funciones reales de dos
variables. Supongamos que f (z) = u(x, y) + iv(x, y) y que C tiene expresin paramtrica
z(t) = x(t) + iy(t) con a t b. Haciendo el producto f (z(t))z 0 (t), y aplicando la denicin
de integral, vemos que
Z Z b
f (z)dz = u(x(t), y(t))x0 (t) v(x(t), y(t))y 0 (t) +
C a
0 0
iu(x(t), y(t))y (t) + iv(x(t), y(t))x (t) dt
Z b
= (u(x(t), y(t))x0 (t) v(x(t), y(t))y 0 (t)) dt +
a
Z b
i (u(x(t), y(t))y 0 (t) + v(x(t), y(t))x0 (t)) dt
a
Z Z
= (u(x, y)dx v(x, y)dy) + i (v(x, y)dx + u(x, y)dy)
C C
en donde las ltimas integrales son las conocidas integrales de lnea de funciones reales de dos
variables reales. Una manera fcil de recordar esta ltima frmula es expresar a f como u + iv ,
a dz como dx + idy , y desarrollar el producto.
3.2. La integral como lmite de sumas. Una particin nita a = t0 < t1 < . . . < tn =
b del intervalo [a, b] induce una particin del contorno C en arcos z0 z1 , z1 z2 , . . . ,zn1 zn en donde
zk = z(tk ). Si para cada subintervalo de la particin se elige k cumpliendo tk k tk+1 ,
se obtiene un punto k = z (k ) de la porcin del contorno entre zk y zk+1 , y llamando zk =
zk+1 zk para 0 k n 1, podemos calcular n1
P
k=0 f (k ) zk . Es factible mostrar, a partir
de la denicin, que si la norma de la particin es sucientemente pequea, esta suma diere
en mdulo del valor de la integral en cantidades arbitrariamente pequeas, independientemente
de la eleccin de k en el intervalo [tk , tk+1 ]. Es decir, para todo > 0 existe >0 tal que toda
particin de [a, b] con norma menor que produce
Z
n1
(A)
X
f (z)dz f (z(k )) (z(tk+1 ) z(tk )) <
C
k=0
66 4. INTEGRACIN
para cualquier eleccin de cada k [tk , tk+1 ]. Para verlo, basta recordar la pro-
en el intervalo
piedad anloga de las integrales de lnea: sea u(x, y) una funcin real de dos variables, y sea
C un contorno R de su dominio, con parametrizacin x(t), y(t) , a t b. Supongamos que
existe I = u(x, y)dx. Entonces, para todo > 0, existe > 0 tal que para cualquier particin
C
{t0 , . . . , tn } de [a, b] y cualquier seleccin {0 , . . . , n1 } con tk k tk+1 , k = 0, . . . , n 1, se
tiene que
n1
X
I u (x (k ) , y (k )) (x (tk+1 ) x (tk )) <
k=0
Usando esta propiedad y la expresin que relaciona la integral compleja con las integrales de
lnea de funciones reales de dos variables, se obtiene la propiedad mencionada en (A) (ejercicio).
2. kf (z)dz = k f (z)dz
ZC ZC
3. f (z)dz = f (z)dz
C C
4. Si C es la concatenacin de las curvas suaves C1 , . . . , Cn , entonces
Z n Z
X
f (z)dz = f (z)dz
C k=1 Ck
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. Denamos
entonces, para a t b,
z1 (t) si tc
z(t) =
z2 (t) si t>c
3. INTEGRAL DE FUNCIONES DE VARIABLE COMPLEJA SOBRE CONTORNOS 67
z10 (t)
si t<c
z 0 (t) =
z20 (t) si t>c
y entonces
Z Z b Z c Z b
0 0
f (z)dz = f (z(t))z (t)dt = f (z(t))z 0 (t)dt
f (z(t))z (t)dt +
C a a c
Z c Z b Z Z
0 0
= 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 4.9. Sea C un contorno de longitud L, y f (z) una funcin continua denida
en un dominio que contiene a la curva. Sea M un real tal que para todo zC es |f (z)| M ,
entonces Z
f (z)dz M L
C
F (w)F (z)
Demostracin. Mostraremos que para cualquier z D, lmwz wz
existe y vale
f (z), con lo que tendremos el resultado.
Sea entoncesz 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 = m n{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
F (w)F (z) 1
R R
por lo que
wz
= wz C1
f ()d . Adems, el ejemplo 4.7 muestra que
C1
d = w z , por
lo que
F (w) F (z)
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
(f () f (z)) d
1
= |w z| <
|w z| C1
|w z| 2
pues cada punto sobre C1 est a distancia menor que de z.
Designemos por T0 a la regin formada por C0 con su interior, y digamos que su permetro
valeL. Notar que, siendo D simplemente conexo, es T0 D, por lo que f es analtica en todo
1 2 3 4 0 0 0 0 0 0
punto de T0 . Llamemos C1 , C1 , C1 y C1 , respectivamente, a los tringulos AA C , A BB , B CC
0 0 0 1 2 3 4
y A B C (todos con orientacin positiva), y T1 , T1 , T1 y T1 , 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
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
1 2 3 4 2
sus lados (generndose cuatro tringulos C2 , C2 , C2 y C2 , cada uno con permetro L/(2 )), y
1 2 3 4
llamemos T2 , T2 , T2 y T2 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
n
f (z)dz 4 f (z)dz
C0 Cn
4. INTEGRACIN SOBRE CONTORNOS CERRADOS 71
Demostracin. Por induccin en el nmero de lados del polgono. El caso base de induc-
cin es el Lema 4.14.
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 dentro de ambos polgonos, que tienen menos lados que P . Luego, por hiptesis inductiva,
R R
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
segn queramos demostrar.
72 4. INTEGRACIN
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:
L de P ) es menor o igual que L (la longitud de C ).
1 (laPlongitud
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 .
0 0
Si t y t se eligen en [a, b] de modo que |t t | , siendo < 2 y P K , entonces
0
|z(t) z(t )| < 2 ; en particular, |z(tk+1 ) z(tk )| < 2 . Luego, para cualquier z Sk , se
tiene que |z z(tk )| |z(tk+1 ) z(tk )| < 2 y entonces z Sk , |f (z) f (z(tk ))| < .
2L
4. INTEGRACIN SOBRE CONTORNOS CERRADOS 73
R
Por lo tanto, siendo f (z)dz = 0 (cor. 4.16), tenemos que
P
Z Xn1 Z
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
X n1 Z
X
= I f (z(tk ))dz (f (z) f (z(tk ))) dz
k=0 Sk k=0 Sk
n1 n1 Z
X X
= I f (z(tk )) (z(tk+1 ) z(tk )) (f (z) f (z(tk ))) dz
k=0 Sk
k=0
n1
X X n1 Z
I f (z(t )) (z(t ) z(t )) + (f (z) f (z(t ))) dz
k k+1 k k
k=0 Sk
k=0
n1 Z n1
X X
< + (f (z) f (z(tk ))) dz +
|z(tk+1 ) z(tk )| = + L1
2 k=0 Sk 2 k=0 2L 2 2L
completando as la demostracin.
Figura 1.
y, en consecuencia,
Z Z Z Z
f (z)dz + f (z)dz = f (z)dz + f (z)dz
C10 C100 C20 C200
y se sigue el resultado.
Podemos decir todava ms: supongamos que C2 puede deformarse continuamente has-
R
ta transformarse en C1 sin pasar por ninguna singularidad de
C1
f (z); entonces, 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 sucientemente cerca de la frontera de
esa interseccin, como para que f (z) sea analtica en (int(C2 ) int(C1 )) int(C0 ) (ver g. 2).
Figura 2.
Entonces, C0 ser una curva cerrada contenida en int(C2 ) y la funcin no tendr singulari-
R
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.3.2. Independencia de las trayectorias.Sea f (z) analtica en un dominio simple-
mente conexo D. Entonces, la integral de f (z) es independiente del camino en D.
En efecto, si C1 y C2 son contornos que van ambos desde z1 hasta z2 en D , podemos llamar C
a la concatenacin de C1 con C2 , resultando C un contorno cerrado en un dominio simplemente
R
conexo en el que f (z) es analtica. Luego, por el Teorema de Cauchy, es f (z)dz = 0, es decir,
C
5. LAS FRMULAS INTEGRALES DE CAUCHY. CONSECUENCIAS 75
R R R
C
f (z)dz + C2
f (z)dz = 0, de donde, por propiedades de la integracin, es
C1
f (z)dz =
R1
C2
f (z)dz .
Recordando el Teorema Fundamental del Clculo para funciones complejas (teor. 4.12),
obtenemos fcilmente el siguiente resultado.
Teorema 4.20. (Frmula integral de Cauchy) Sea f (z) una funcin analtica en un
dominio simplemente conexo D, y C un contorno cerrado simple en D. Entonces, para todo
complejo z0 en el interior de C , es
Z
f (z)
dz = 2if (z0 )
C z z0
cuando C se recorre en sentido positivo.
R Demostracin. Sea
z0 un complejo en int(C). Veremos que, para todo > 0, se cumple que
f (z)
2if (z0 ) < , con lo cual tendremos el resultado. Observemos que el integrando
dz
C zz0
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
0 < |z z0 | < 2
f (z0 ) <
z z0 21
Tomemos ahora cualquier real positivo r r < mn{1 , 2 }, y designemos por Cr a
tal que
la circunferencia con centro en z0 y radio r recorrida en sentido positivo. Por ser r me-
1 y que 2 , tenemos
nor que
que Cr int(C) D, y que, para todo z Cr , se cumple
f (z)f (z0 )
que f 0 (z0 ) < 2
. Adems, por el principio de deformacin de contornos, es
zz0 1
R f (z)
dz = Cr zz0 dz . Por otro lado, del ejemplo 4.8, surge que Cr fzz
R f (z) R (z0 )
C zz0 0
dz = 2if (z0 ), y,
0
R
del ejemplo 4.7 y propiedades de integracin, se tiene que
Cr
f (z0 )dz = 0. Juntando todo esto,
tenemos que
Z Z
f (z) f (z)
z z0 dz 2if (z0 ) = dz 2if (z0 )
C
z z0
ZCr Z
Z
f (z) f (z 0 ) f (z) f (z0 )
= dz dz = dz
z z0 Cr z z0 z z0
ZCr Cr
f (z) f (z0 )
Z
f 0 (z0 )dz
= dz
z z0
ZCr Cr
f (z) f (z0 ) 0
=
f (z0 ) dz
Cr z z0
2r <
21
pues r/1 < 1.
76 4. INTEGRACIN
Corolario 4.21. 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
deC1 , C2 y D. Entonces, para todo z0 D, se tiene que
Z Z
f (z) f (z)
2if (z0 ) = dz dz
C2 z z0 C1 z z0
cuando ambas curvas son recorridas en sentido positivo.
Figura 3.
Teorema 4.22. (Frmula generalizada de Cauchy) Sea f (z) una funcin analtica
en un dominio simplemente conexo D, C un contorno cerrado simple en D, y n un entero no
negativo. Entonces, para cualquier z0 int(C), f (n) (z0 ) existe y vale
Z
(n) n! f (z)
f (z0 ) = dz
2i C (z z0 )n+1
cuando C se recorre en sentido positivo.
de radio r/2 alrededor de z0 . Por la continuidad de f (z) sobre Cr , existe 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 para cada w Br/2 (z0 ) y cada z Cr , es |z w| > r/2. Esto signica que, para cada z C
f (z)
y cada w Br/2 , es 2M = 2M , es decir, la funcin g es de mdulo acotado
(zz0 )2 (zw) r2 r r3
en Br/2 (z0 ). Por ello, y dado que l mzz0 (w z0 ) = 0, se tiene, por proposicin 3.16, que
R (wz0 )f (z)
lmwz0 Cr (zz0 )2 (zw) dz = 0.
Por lo tanto, tomando en (7) el lmite del cociente incremental cuando w tiende a z0 , tenemos
la frmula que queramos demostrar.
Corolario 4.23. 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
(n+1) (n)
que, por el teorema anterior, f existe en cada punto del interior de Cr . De all que f es
(n)
analtica en z0 . Como z0 era un punto arbitrario de D , se sigue que f es analtica en D .
Ejemplo 4.24. Usando el teorema de Cauchy o las frmulas integrales de Cauchy, verique-
mos que si n es cualquier entero, z0 es cualquier complejo jo 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
78 4. INTEGRACIN
En el ejemplo 4.8, ya hemos chequeado por parametrizacin el caso n = 1, pero veamos cmo
el uso de las frmulas simplica la tarea.
Si n = 1, basta tomar f (z) = 1 (analtica en todo el plano complejo) y aplicar la frmula
del teorema 4.20.
n 0, el integrando es una funcin entera, por lo que la integral vale 0.
Si
n 1
Si n 2, hagamos m = n 1, teniendo que m 1 y que (z z0 ) = . Entonces,
(zz0 )m+1
(m)
tomando f (z) = 1, es f = 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.
5.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 4.23), deducire-
mos la continuidad de las derivadas parciales de cualquier orden de las partes real e imaginaria
de f en D.
Teorema 4.25. 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 u(x,y) n
todos k, r {0, 1, . . . , n} con r + k = n, es
k (n)
i f (z) = xr y k
+ i xv(x,y)
r y k .
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 0
0 (0)
as que i f (z) = f (z) = u + iv = x0 y
u v
0 + i x0 y 0 , y la proposicin se cumple.
u0 (x(t), y(t)) = ux (x, y)x0 (t) + uy (x, y)y 0 (t) = ux (x, y)x0 (t) vx (x, y)y 0 (t)
5. LAS FRMULAS INTEGRALES DE CAUCHY. CONSECUENCIAS 79
v 0 (x(t), y(t)) = vx (x, y)x0 (t) + vy (x, y)y 0 (t) = vx (x, y)x0 (t) + ux (x, y)y 0 (t)
donde hemos usado las ecuaciones de Cauchy-Riemann. Siendo ux y vx continuas por analiti-
0 0 0 0 0
cidad de f , as como x e y por ser z(t) una curva suave, se tiene que u y v son funciones
0
continuas de t, por lo que w (t) existe y es continua en todo punto de [a, b]. Para terminar de
0
ver que es una curva suave, falta ver que es w (t) 6= 0 en (a, b):
Demostracin. Supongamos que C tiene una parametrizacin dada por z(t) con at
b. Debe ser z(a) = z1 y z(b) = z2 . Hagamos G(t) = F (z(t)). Por la regla de la cadena, es
G0 (t) = F 0 (z(t))z 0 (t), por lo que, por proposicin 4.5,
Z Z b Z b
0 0 0
F (z)dz = F (z(t))z (t)dt = G0 (t)dt = G(b) G(a) = F (z(b)) F (z(a))
C a a
= F (z2 ) F (z1 )
con lo que se tiene el resultado.
R
La proposicin anterior dice, en denitiva, que si uno debe calcular
C
f (z)dz y puede
encontrar una primitiva de f que sea analtica sobre C, 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 nal e inicial del contorno. Como sabemos que la derivada de una funcin analtica en
un dominio es tambin analtica en ese dominio, concluimos 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 4.27. Obtener z 2 dz siendo C el segmento desde 1 + i hasta 1 + 3i.
C
3
Una primitiva para f (z) = z es F (z) = z /3, que es analtica en todo el plano complejo.
28
3 3
Luego, la integral vale (1 + 3i) /3 (1 + i) /3 = 20 i.
3 R 3
Ms generalmente, podemos ver que siempre es
C
z 2 dz = z23 /3 z13 /3, siendo z2 y z1 ,
respectivamente, los puntos nal e inicial de C .
R 1
Ejemplo 4.28. 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
primitiva es analtica en todo el plano complejo salvo en el semieje real no positivo, y la curva
80 4. INTEGRACIN
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 evaluar F (z1 ) corresponde tomar
arg z1 = 2 y entonces F (z1 ) = ln |1| + i2 = 2i. Entonces, C z 1 dz = i 2 i2 = 3i/2,
R
hecho que puede conrmarse resolviendo la integral por denicin.
Si hubiramos resuelto tomando como primitiva la funcin F1 o la F2 que especicamos 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.
5.4. Teorema de Morera. Este resultado es un recproco del Teorema de Cauchy.
R
Teorema 4.29. Si f (z) es continua en un dominio D y si C
f (z)dz = 0 para todo contorno
cerrado C contenido en D , entonces f (z) es analtica en D .
Demostracin. Primero mostremos que, bajo las hiptesis del teorema, la integral de
f (z) es independiente del camino en D. Sean z1 y z2 dos puntos de D, y C1 y C2 dos contornos
en D que van de z1 a z2 . Entonces la concatenacin de C1 y C2 es un contorno cerrado en D ,
R R
por lo que
C 1
f (z)dz + C2 f (z)dz = 0, y eso signica, por propiedades de la integracin, que
R R
C1
f (z)dz = C2 f (z)dz , es decir, la integral es independiente del camino.
Rz
Ahora, sea z0 cualquier punto de D , y denamos en D la funcin F (z) = f ()d . F (z)
z0
0
es analtica en D , y F (z) = f (z) (Teor. 4.12). Siendo f (z) la derivada de una funcin analtica
en D , es f (z) analtica en D (Cor. 4.23).
5.5. Desigualdad de Cauchy. Veremos ahora una cota para la n-sima derivada de una
funcin en un punto, cuando sabemos que la funcin es analtica en algn crculo que contiene
a ese punto.
Proposicin 4.30. Sea f (z) analtica sobre y dentro de un crculo C de centro z0 y radio
r. Sea M una cota superior para |f (z)| sobre C . Entonces, para todo entero no negativo n,
f (z0 ) M n!
(n)
rn
Demostracin. Para todo z sobre C , es |z z0 | = r, y entonces |z z0 |n+1 = rn+1 . Luego,
para todo z C, es
|f (z)| M M
n+1
n+1
= n+1
|z z0 | |z z0 | r
De all,
Z Z
n! f (z) n! f (z) n! M 2r
(n)
f (z0 ) = dz = dz
n+1 n+1 2 rn+1
C (z z0 ) 2 C (z z0 )
2i
(n)
por lo que f (z0 ) M n!/rn .
5.6. Teorema de Liouville. Este sorprendente teorema enuncia que si una funcin no
constante es analtica en todo el plano complejo, entonces su mdulo toma valores arbitraria-
mente grandes (comparar con la funcin real f (x) = cos x).
Teorema 4.31. Sea f (z) analtica en todo el plano complejo. Si |f (z)| es una funcin
acotada en C, entonces f (z) es una funcin constante.
APNDICE: DEMOSTRACIN DE LA FRMULA GENERALIZADA DE CAUCHY 81
5.7. Teorema fundamental del lgebra. Usando los resultados anteriores, vamos a
demostrar ahora que cualquier polinomio no constante debe tener al menos una raz compleja.
|an | |w(z)| > |an |/2, lo que nos permite ver que si |z| > r es
1 1 2
|g(z)| = = <
|f (z)| |an + w(z)||z|n |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 denicin 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.
Recordemos que la frmula generalizada de Cauchy establece que si f (z) es una funcin
analtica sobre y dentro de un contorno cerrado simple C , y n es cualquier entero no negativo,
(n)
entonces, para cualquier z0 int(C), f (z0 ) existe y vale
Z
(n) n! f (z)
f (z0 ) = dz
2i C (z z0 )n+1
cuando C se recorre en sentido positivo.
Lo demostramos por induccin matemtica sobre n. Para el caso n = 0, f (0) (z0 ) existe pues
es f (z0 ), y la frmula a vericar corresponde a la frmula de Cauchy que hemos demostrado en el
teorema 4.20, as que la armacin es verdadera. Ahora supongamos la armacin vlida para n,
(n) n!
R f (z)
es decir, supongamos que f (w) = 2i C (zw)n+1
dz , para cualquier w en el interior de C . De-
(z0 ) = (n+1)! f (z)
(n+1)
R
bemos mostrar que la armacin vale para n + 1, es decir, que f dz
2i C (zz0 )n+2
para cualquier z0 int(C). Sea entonces z0 un punto interior de C. Sea r > 0 tal que el
82 4. INTEGRACIN
1 (z z0 )n+1 (z w)n+1
Z
(n+1) n!
(8) 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
n1
n+1 n+1 n
X 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 1 wz0
y entonces, dado que
(zz0 )n+1 (zw)
= (zz0 )n+2
+ (zz0 )n+2 (zw)
, tenemos que
1 (z z0 )n+1 (z w)n+1
Z
f (z)dz
Cr w z0 (z z0 )n+1 (z w)n+1
n1
(w z0 )j f (z)
Z Z
(n + 1)f (z) X n+1
= dz + (w z0 ) dz
Cr (z z0 )
n+1 (z w) j+2 j
Cr (z w) (z z0 )
n+1
j=0
(n + 1)(w z0 )
Z Z
(n + 1)f (z)
= n+2
dz + n+2 (z w)
f (z)dz +
Cr (z z0 ) Cr (z z0 )
n1
(w z0 )j f (z)
Z
X n+1
(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 (zz0 )n+2
dz
= (n + 1) Cr (zz n+2 dz pues la expresin no depende de w .
R (n+1)(wz00))f (z)
2. Veremos ahora que l mwz0 Cr (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
n+2
cada z Cr , es |z z0 | = r , de modo que |z z0 | = rn+2 . Y si se elige w en el interior
APNDICE: DEMOSTRACIN DE LA FRMULA GENERALIZADA DE CAUCHY 83
del crculo con centro en z0 y radio r/2, se tiene que, para todo z Cr , |z w| > r/2
pues
lmite.
3. Finalmente veremos que, de modo anlogo, para cada j entre 0 y n 1, es
(w z0 )j f (z)
Z
n+1
lm (w z0 ) dz = 0
wz0 j+2 Cr (z w)j (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 j
se tiene que, para todo z Cr , |z w| > r/2, por lo que, para z Cr , es
|zw|j
< 2rj .
Por lo tanto, para cualquier z Cr tenemos que
j j
f (z) M2 = 2 M
(z z0 )n+1 (z w)j rn+1 rj rn+j+1
Entonces, por la desigualdad ML, es
(w z0 )j f (z)
Z
(w z0 ) n + 1
dz
j+2 j
(z w) (z z0 ) n+1
Cr Z
n+1
j+1 f (z)
= |w z0 | dz
j+2 Cr (z z0 )
n+1 (z w)j
j
n+1 2M
|w z0 |j+1 2r
j + 2 rn+j+1
n + 1 2j+1 M
j+1
= |w z0 |
j+2 rn+j
s
1
n+1
rn+j
de donde vemos que basta tomar = m n 2r , j+1 2j+1 para satisfacer
M j+2
la denicin de lmite.
Con los resultados de estos tres tems, tenemos que la frmula (8) queda:
Z Z
(n+1) n! f (z) (n + 1)! f (z)
f (z0 ) = (n + 1) n+2
dz = dz
2i Cr (z z0 ) 2i Cr (z z0 )n+2
que era el resultado que buscbamos.
84 4. INTEGRACIN
EJERCICIOS
1. Sean f1 (t) y f2 (t) funciones complejas de variable real, con a t b para ambas.
0 0 0 0 0
Suponga que f1 y f2 existen en [a, b]. Mostrar que (f1 + f2 ) (t) = f1 (t) + f2 (t) y
(f1 f2 )0 (t)R = f10 (t)f2 (t) + f1 (t)f20 (t).
2. Evaluar
C
f (z)dz para los siguientes casos:
a) f (z) = z
1) C : el segmento desde i hasta 1.
2
2) C : el arco de la parbola y = (1 x) desde i hasta 1.
2 2
3) C : el arco de la circunferencia x + y = 1 desde i hasta 1, en sentido horario.
z
b) f (z) = e
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.
n
d ) f (z) = (z z0 ) , C : el crculo con centro en z0 y radio r > 0 (Sol.: vale 2i si
n = 1, y 0 en cualquier otro caso)
3. Mostrar que si C es un contorno, entonces admite una parametrizacin z(t), a t b,
con a < b elegidos arbitrariamente.
4. Sea f (t), a t b, una funcin compleja de variable real continua en [a, b]. Denamos
Rs
g : [a, b] C mediante g(s) = a f (t)dt. Mostrar que g 0 existe en [a, b], y est dada por
g 0 (s) = f (s). (Sugerencia: use el teorema fundamental del clculo para funciones reales
continuas de una variable real.)
5. 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
R
1 33
c) C e z dz con C el segmento recto desde i hasta 2 + i.
10
8. Demostrar que cualquier polgono es una unin nita de polgonos simples y de seg-
mentos que se recorren dos veces en direcciones opuestas. (Sugerencia: induccin en el
nmero de lados del polgono; para un polgono [z0 , z1 , . . . , zn , z0 ] de n+1 lados, consi-
dere las distintas alternativas para zn en cuanto a su posicin con respecto a zn1 y z0 :
en dicho segmento, fuera del segmento pero sobre la recta que ste determina, o fuera
de dicha recta.)
9. Usando el teorema de Cauchy o la frmula integral de Cauchy, calcular:
cos z cos z dz
R R R
i)
|z|=1 z+2
dz ii)
|z+2|=2 z+2
dz iii)
|zi|= 12 1ez
dz dz 2z+1
R R R
iv)
|z|=3 (z2)ez
v)
|z+1|=1 1+z 3
vi)
|z+1|= 12 z 2 +z
dz
10. PorRmedio de la frmula generalizada de Cauchy, obtener: R
ez cos z
i)
|z|=1 z n+1 dz , con n N ii)
|z+1|=5 (z+2)2
dz
R e2z R e2z
iii) 1 3 z 2 dz iv)
|z+i|= 12 (z+i)3 z 2
dz
R |z|= 2 e(z+i)
az
n
v)
|z|=1 z n+1
dz , con n N (Sol.: 2ia /(n!))
R
11. En caso de ser posible, calcular las siguientes integrales
C
f (z)dz por el mtodo de la
primitiva. Si no es posible, explicar por qu.
1
2
a ) f (z) = z z , C : el semicrculo desde i hasta i que pasa por 1.
1
b) f (z) la determinacin principal de z C : el semicrculo desde i hasta i que pasa
2,
por 1.
1
c) f (z) la rama principal de z 2 , C : el segmento desde 1 + i hasta 1 + i.
d) f (z) la rama principal de ln z , C : el semicrculo desde i hasta i que pasa por 1.
12. Calcular las siguientes integrales:
R dz
a) , siendo C :
C
(z i)(z + 1 + i)
7 3
i) |z| = ii) |z + i| = iii) |z 1 i| = 5
R 2z+1 5 2
b) C z 2 +z
dz , siendo C :
1 1 1
i) |z| = ii) |z | = iii) |z| = 2
R dz 4 2 4
c) 3 , siendo C el crculo |z + 1| = 1 en sentido antihorario.
RC 1+z cos z
d) C z(z 2 +4)
dz , siendo C :
i) |z| = 1 ii) |z i| = 2 iii) |z| = 3
R e2z
e) 4 dz sobre el crculo |z| = 3.
RC (z+1)ez
f) C z(1z)3
dz siendo C :
1 1
i) |z| = ii) |z 1| = iii) |z| = 2
2 2
dz
R
g) 2 2 +4) sobre el crculo |z| = 3 en sentido horario.
RC zz2 (z
z+2
h) C z 3 +2z 2
dz sobre el rectngulo de vrtices 3 i y 1 i en sentido horario.
13. El nmero de vueltas de un contorno cerrado alrededor de un punto.
1 1
R
a ) Sean z0 C y n Z. Calcular 2i C (z z0 ) dz siendo C el contorno con para-
int
metrizacin z(t) = z0 + e , 0 t 2 (observar que z0 / C ). Qu representa
geomtricamente n? Cul es la interpretacin geomtrica del signo de n?
b ) Sea C un contorno cerrado (no necesariamente simple) y z0 / C . Mostrar que
1 1
R
2i C
(z z0 ) dz es un nmero entero. (Sugerencia: Sea z(t), a t b una
R s z0 (t)
parametrizacin para C . Considerar g(s) = dt, con a s b. Aplicar
a z(t)z0
propiedades de la derivacin de funciones complejas de variable real para mostrar
d
eg(s) (z(s) z0 ) = 0, por lo Rque eg(s) (z(s) z0 ) es constante. Concluir
que
ds
observando que z(a) = z(b), g(a) = 0,
C
(z z0 )1 dz = g(b).)
86 4. INTEGRACIN
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 5.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
acotada si su campo de variabilidad es un conjunto acotado. Si
sucesin. Una sucesin se dice
E C y {zn } tiene campo de variabilidad contenido en E , entonces decimos que {zn } es una
sucesin en E , y escribimos {zn } 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 | < . Es decir, a partir del N que corresponde a ,
todos los trminos de la sucesin estn en B (L). En ese caso, decimos que la sucesin converge
hacia L, o que L es el lmite de {zn }, y escribimos l
mn zn = L.
Una sucesin {zn } diverge a innito (l mn zn = ) si K R, N N : n
N, |zn | > K .
Si zn est denido al menos para todo n n0 , la expresin {zn }nn0 , con n0 no necesaria-
mente 0, equivale naturalmente a la sucesin {zn+n0 }nN .
mn zn = L C es equivalente a decir que lmn |L zn | =
Observemos que decir que l
0 (convergencia de sucesin de nmeros reales).
Teorema 5.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 nita 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 nita. Sea > 0, y hagamos F = {n N : zn / B (L)}.
Por hiptesis, F es un conjunto nito, as que tomando N = 1 + m ax F , tenemos
que, para cualquier n N, n / F , es decir, |zn L| < . Siendo arbitrario, es
lmn zn = L.
2. Supongamos que l mn zn = L, y sea L0 un complejo distinto de L. Consideremos
0
= |L L |/2, que ser positivo. Por el tem anterior, B (L) contiene todos los trminos
0
de la sucesin, salvo quiz una cantidad nita. Siendo B (L) B (L ) = , concluimos
0
que B (L ) contiene a lo sumo una cantidad nita de trminos de la sucesin, y entonces,
0
nuevamente por el tem anterior, {zn } no converge a L .
87
88 5. 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 5.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 l mn 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, l
mn 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 = m ax{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.
Definicin 5.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 5.6. Una sucesin compleja es convergente si, y slo si, es de Cauchy.
Anlogamente, {yn } es una sucesin de Cauchy en R, por lo que existe y = lmn yn . Entonces
{zn } converge a x + iy C (Prop. 5.3).
Si {zn } es una sucesin compleja y designamos por EN al conjunto {w C : n N : w =
zn }, resulta directo que {zn } es una sucesin de Cauchy si, y slo si, lmN diam(EN ) = 0.
1.1. lgebra de sucesiones. Supongamos que {zn } y {wn } son dos sucesiones de n-
meros complejos. Con ellas, se pueden denir las siguientes sucesiones:
zn lmn zn
lm =
n wn lmn wn
Demostracin. Veamos cmo demostrar la propiedad del producto, siendo las otras anlo-
gas. Sea zn = xn + iyn , wn = un + ivn , lmn zn = x + iy y lmn wn = u + iv . Tenemos
que lmn xn = x, lmn yn = y , lmn un = u y lmn vn = v (prop. 5.3). Es zn wn =
(xn un yn vn ) + i(xn vn + yn un ). Por propiedades de convergencia de sucesiones reales, tenemos
que lmn (xn un yn vn ) = (lmn xn ) (lmn un ) (lmn yn ) (lmn vn ) = xu yv , y,
anlogamente, tenemos que l mn (xn vn + yn un ) = xv + yu. Dado que zn wn tiene parte real
xn un yn vn y parte imaginaria xn vn +yn un , se tiene que zn wn es una sucesin de complejos cuya
sucesin de partes reales converge a xu yv y cuya sucesin de partes imaginarias converge a
xv + yu. Entonces, por prop. 5.3, lmn (zn wn ) = (xu yv) + i(xv + yu) = (x + iy)(u + iv) =
(lmn zn ) (lmn wn ).
1.2. Subsucesiones. Sea {zn }nN una sucesin compleja. Consideremos una sucesin
{nk }kN nk < nk+1 para todo k . Con
estrictamente creciente de nmeros naturales, es decir,
estas dos sucesiones, podemos denir una nueva sucesin {wk }kN en C haciendo wk = znk . La
sucesin {wk }kN se llama subsucesin de {zn }nN y se denota mediante {znk }kN . Si {znk }
mk znk = L, entonces L se llama punto de acumulacin de
converge a L, es decir, si l
{zn }. Observar que para todo k N, nk k .
Observacin 5.8. Un hecho que usaremos frecuentemente en las demostraciones que siguen
es que un subconjunto de nmeros naturales es innito si, y slo si, es no acotado.
Teorema 5.9. Una sucesin {zn } converge hacia L si, y slo si, cualquiera de sus subsu-
cesiones converge hacia L.
Demostracin. Supongamos que {zn } converge a L, y sea {znk } una subsucesin. Hay un
N tal que n N, |zn L| < . Luego, si k N , ser nk nN N , por lo que |znk L| < .
La vuelta es trivial, ya que {zn } es subsucesin de s misma.
90 5. SUCESIONES Y SERIES. SERIES DE TAYLOR
Proposicin 5.10. Sea {zn } una sucesin compleja, y sea L un nmero complejo. L es
punto de acumulacin de {zn } si, y slo si, cualquier entorno de L posee innitos trminos de
{zn }.
Demostracin. Supongamos que L es un punto de {zn }. Hay una sub-
acumulacin de
sucesin {znk }kN de {zn }nN tal que Sea > 0. Existe N N tal que
lmk znk = L.
k N, znk B (L). Como cada trmino de la subsucesin es un trmino de {zn }, se tiene que
B (L) contiene una cantidad innita de trminos de {zn }.
Recprocamente, supongamos que todo entorno de L posee una cantidad innita de trminos
de {zn }. Elijamos n0 tal que |L zn0 | < 1. Ahora elijamos n1 > n0 tal que |L zn1 | < 1/2.
Tal eleccin es posible, pues si hacemos I = {n N : zn B1/2 (L)}, por la hiptesis I
es innito, y entonces es no acotado (observ. 5.8), de donde debe existir un n1 mayor que
n0 en I . Continuando de esta manera, para cada k > 1 debe existir un nk > nk1 tal que
|L znk | < 1/(k + 1). Se tiene que {znk } es subsucesin de {zn } y que lmk znk = L, lo que
demuestra la suciencia de la condicin.
Es fcil construir sucesiones con una cantidad nita de puntos de acumulacin, y queda de
ejercicio construir una que tenga innitos. En cualquier caso, los puntos de acumulacin de una
sucesin dada forman un conjunto cerrado.
Teorema 5.11. Dada la sucesin compleja {zn }, el conjunto de sus puntos de acumulacin
es un conjunto cerrado.
Ejemplo 5.13.
que involucra la suma de una cantidad innita de complejos y, por lo tanto, no tiene signicado
por s sola. Para asignarle un sentido a la serie, denimos, en base a la sucesin {zj }j0 , otra
sucesin de
Pn
sucesin compleja {Sn }n0 en la que Sn = j=0 zj . La sucesin {Sn }n0 se llama
sumas parciales de {zj }j0 . EnP
caso de converger la sucesin de sumas parciales a un nmero
la serie
converge a
S , y escribimos
P
complejo S , se dice que j=0 zj j=0 zj = S ; es decir,
X n
X
S= zj = lm zj ,
n
j=0 j=0
P
Proposicin 5.16. Una serie compleja j=0 zj es convergente si, y slo si, > 0, N :
P
m n N, m
j=n j < .
z
Dicho intuitivamente, sin importar cuntos trminos se sumen a partir del N que corres-
ponde a cada , el mdulo de esa suma no superar a .
P
Si j=0 zj es convergente y particularizamos la proposicin 5.16 al caso m = n, tenemos
que para cada > 0 existe N tal que para todo n N, |zn | < . Obtenemos as una condicin
necesaria de convergencia que nos debe sonar familiar de nuestro conocimiento de las series de
nmeros reales, y que resumimos en el siguiente enunciado.
Como pasa con las series de nmeros reales, convergencia absoluta implica convergencia.
Criterios de comparacin:
1. Sean {zj }
{w } tales que existe un N0 tal P
y
Pj que j N0 , |zj | |wj |. Supongamos
tambin que |w | converge. Entonces j=0 zj converge absolutamente. (La
P j
j=0
convergencia de j=0 wj no permite la conclusin; por ejemplo, tomar zj = 1/(2j)
j
y wj = (1) /j .)
2. Sean {zj } y {wj } tales que existe un N0 tal que j N0 , |zj | |wj |. Supongamos
P P P
tambin que j=0 |wj | diverge. Entonces j=0 |zj | diverge. (Pero j=0 zj puede
j
converger; por ejemplo, tomar zj = 2(1) /j y wj = 1/j .)
zj+1
Criterio del cociente (D'Alembert): Supongamos que existe L = l m . Entonces:
j zj
P
1. Si L < 1, la serie zj converge absolutamente.
Pj=0
2. Si L > 1, la serie j=0 zj diverge.
En efecto, tomando tal que 1 < < L, existe N tal que j N, |zj+1 /zj | > ,
de donde se deduce que 0 < |zN | < |zN +1 | < |zN +2 | < . No se cumple entonces
la condicin necesaria de convergencia establecida en la prop. 5.17.
P
1
P 1
3. Si L = 1, no podemos decir nada por este criterio. Las series j=1 j y j=1 j 2
tienen ambas L= 1, siendo la primera divergente y la segunda convergente.
p
Criterio de la raz (Cauchy): Supongamos que existe |zj |. Entonces:
L = lm j
j
P
1. Si L < 1, la serie zj converge absolutamente.
Pj=0
2. Si L > 1, la serie j=0 zj diverge. p
En efecto, tomando tal que 1 < < L, existe N tal que j N, |zj | > , de
j
j
donde |zj | > > 1. No se cumple entonces la condicin necesaria de convergencia
establecida en la prop. 5.17.
P 1
3. Si L = 1, no podemos decir nada por este criterio. Las mismas series j=1 j y
P 1
j=1 j 2 lo demuestran.
converge uniformemente a una funcin real f (x) dada: en un par de ejes cartesianos, trcese la
grca de f (x) y, para > 0, grafquense f (x) + y f (x) (es decir, trasldese hacia arriba y
hacia abajo la grca de f (x) una distancia ). Si la convergencia es uniforme, seremos capaces
de encontrar un N tal que la grca de todas las fj (x) con j N estn ntegramente entre las
curvas correspondientes a f (x) y f (x) + cuando x vara en D . Si es posible vericar esto
para cualquier , entonces la convergencia de {fj (x)} a f (x) es uniforme en D . En el ejemplo
5.22 tenemos convergencia uniforme, no as en el ejemplo 5.23 (analizar lo que ocurre en las
cercanas de x = 1).
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.
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 = m ax{N1 , N2 }. Entonces, si j N y z D,
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 5.27. 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.
96 5. SUCESIONES Y SERIES. SERIES DE TAYLOR
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.
Proposicin 5.28. Sean C un contorno en C y {fj (z)} una sucesin de funciones complejas
continuas sobre
R C . Supongamos
R que las fj (z) convergen uniformemente a f (z) en C . Entonces,
C
f (z)dz = l
m j C fj (z)dz .
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 todo j N y todo z C , es |fj (z) f (z)| < /(2L). 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 5.29. 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)
0
mj fj0 (z) para todo z D.
en D . Entonces, f (z) es analtica en D , y f (z) = l
3.3. P
Convergencia uniforme de series funcionales. Decimos que una serie funcional
j (z) converge uniformemente a f (z) en D C si la sucesin funcional de
compleja j=0 fn o
Pn
sumas parciales j=0 fj (z)
converge uniformemente a f (z) en D .
n0
Ciertas propiedades que hemos deducido para las sucesiones funcionales uniformemente
convergentes se extienden con facilidad a series funcionales uniformemente convergentes.
P
P
Proposicin 5.30. Supongamos que j=0 fj (z) y j=0 gj (z) convergen uniformemente en
D C, a f (z) y g(z) respectivamente. Supongamos
P tambin que h(z) es una funcin de mdulo
+ gj (z) y
P
acotado superiormente en D . Entonces, f
j=0 j (z) j=0 h(z)fj (z) convergen en D
uniformemente a f (z) + g(z) y h(z)f (z), respectivamente.
3. SUCESIONES Y SERIES FUNCIONALES 97
Pn Pn
Demostracin. Sean Sn (z) =
j=0 fj (z) y Tn (z) = j=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.
5.26, {Sn (z) + Tn (z)} converge uniformemente en D a f (z) + g(z). Ya que Sn (z) + Tn (z) =
Pn P
j=0 fj (z) + gj (z), se tiene entonces que j=0 fj (z) + gj (z) converge uniformemente a f (z) +
g(z).
Para probar la otra armacin, observemos que, por prop. 5.26, se tiene que {h(z)Sn (z)}
Pn
converge uniformemente a h(z)f (z) en D . Siendo h(z)Sn (z) = j=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 5.31. Supongamos que j=0 fj (z) converge uniformemente P en D a f (z). Si
las fj (z) son continuas en D , f (z) tambin lo es, y z0 D D , l
0
m f (z) = j=0 fj (z0 ).
zz0
Pn
Demostracin. Sea Sn (z) = j=0 fj (z). Por hiptesis, f (z) = lmn Sn (z), y la con-
vergencia es uniforme en D . Por ser suma nita de funciones continuas en D , cada Sn (z) es
0
continua en D . Entonces f (z) es continua en D (Prop. 5.27). Si z0 D D , por continuidad
P
de f en z0 , es l
m f (z) = f (z0 ) = j=0 fj (z0 ).
zz0
Proposicin 5.32. Supongamos que {fj (z)} es una sucesin de funciones complejas
P con-
tinuas sobre un contorno C , y que j=0 fj (z) converge uniformemente en C . Entonces,
Z X ! Z
X
fj (z) dz = fj (z)dz
C j=0 j=0 C
Pn
Demostracin. Sea j=0 fj (z). Cada Sn (z) es continua en C , y por hiptesis
Sn (z) =
{Sn (z)} converge uniformemente en D , digamos a f (z). Entonces, por prop. 5.28 y por linealidad
de integrales para sumas nitas de funciones, se tiene:
Z Z n
Z X 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
Proposicin 5.33. Sea
P {fj (z)} una sucesin de funciones complejas analticas en D, y
supongamos que f
j=0 j (z) converge uniformemente a f (z) en D . Entonces, f (z) es analtica
0
P 0
en D , y f (z) = j=0 fj (z).
Pn
Demostracin. Sea Sn (z) = j=0 fj (z). Cada Sn (z) es analtica en D por ser suma nita
de funciones analticas en D , y, por hiptesis, {Sn (z)} converge uniformemente a f (z) en D .
Entonces, por prop. 5.29, f (z) es analtica en D , y adems, por regla de derivacin para sumas
nitas de funciones, se tiene:
n
X
X
0
f (z) = lm Sn0 (z) = lm fj0 (z) = fj0 (z)
n n
j=0 j=0
El siguiente criterio nos da una condicin suciente para la convergencia uniforme de una
serie.
Teorema 5.34. (Criterio de Weierstrass) Sea {Mj } una sucesin de nmeros reales
P
no negativos tal que j=0 Mj es convergente. Sea {fj (z)} una sucesin de funciones complejas
denidas en D C. Si para todo j 0 y todo z D se tiene que |fj (z)| Mj , entonces
P P
j=0 fj (z) converge uniformemente en D . Adems, para cada z D , j=0 fj (z) converge
absolutamente.
98 5. SUCESIONES Y SERIES. SERIES DE TAYLOR
P j
Debe quedar perfectamente claro que en la expresin j=0 cj (zz0 ) , 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.
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 | < l
mj cj+1 , de modo que
cj
la serie converge para todo z en el interior de un crculo de centro z0
R = lmj cj+1
y radio
.
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 signica que la serie converge slo cuando z = z0 ), (lo que signica 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 j
Lema 5.41. Supongamos que la serie 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 = , que satisfar 0 < p < 1.
P |z1 z0 | j
Como mj cj (z1 z0 )j = 0 (prop.
j=0 cj (z1 z0 ) es convergente por hiptesis, debe ser l
j
5.17). Es decir, la sucesin {cj (z1 z0 ) } es una sucesin convergente, y, por lo tanto, acotada.
+ j
Entonces existe m R tal que para todo j 0, |cj (z1 z0 ) | m.
Tomemos z satisfaciendo |z z0 | r. Observemos que para todo j 0 es
j j
cj (z z0 )j = |cj ||z1 z0 |j z z0 m r = mpj
z1 z0 z1 z0
100 5. SUCESIONES Y SERIES. SERIES DE TAYLOR
P
Mj = mpj . Mj = mpj = m j
P P
Designemos entonces Observemos que
P j=0 j=0 j=0 p que es
j
convergente pues |p| < 1. Por lo
tanto, la serie j=0 cj (z z0 ) satisface las condiciones del
criterio de Weierstrass (Teor. 5.34) y converge absoluta y uniformemente en Dr .
P j
Teorema 5.42. Cualquier serie de potencias j=0 cj (z z0 ) Pconverge a una funcin ana-
0 j1
ltica f (z) en el interior de su crculo de convergencia, y f (z) = j=0 jcj (z z0 ) 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. z1 a distancia
Tomemos cualquier complejo
P r1 de z0 .j Ntese que z1
tambin est en el interior del crculo de convergencia, y entonces j=0 cj (z1 z0P) converge. Sea
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 5.41), y ya que para todo j es cj (z z0 ) una funcin
P j
entera, por prop. 5.33 se tiene que j=0 cj (z z0 ) converge a una funcin analtica en Dr (en
0
P j1
particular en w ), y que f (w) = j=0 jcj (w z0 ) . Ya que w es arbitrario en el interior del
crculo de convergencia de la serie, se sigue el resultado.
P j
Observacin 5.43. 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
0
garantiza que f (z) posee desarrollo en serie de potencias en ese mismo conjunto, siendo
f 0 (z) = j=0 jcj (z z0 )j1 =
j1
= j
P P P
j=1 jcj (z z0 ) j=0 (j + 1)cj+1 (z z0 ) . El radio de
convergencia de ese desarrollo es
0
(j + 1)cj+1 j + 1 cj+1
R = lm = lm lm =R
j (j + 2)cj+2 j j + 2 j cj+2
X
(n)
f (z) = j(j 1) (j n + 1)cj (z z0 )jn
j=0
El teorema 5.42 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 5.44. (Desarrollo en serie de Taylor) Sea f (z) una funcin analtica en el
interior de un crculo C con centro en z0 y radio R > 0. Entonces existe una serie de potencias
P 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
j
que satisfaga |z z0 | < R, se tiene que f (z) = j=0 cj (z z0 ) . Los coecientes del desarrollo
f (j) (z0 )
estn dados por cj = j!
.
Ya que f (z) es analtica en Cr , tiene mdulo acotado por alguna constante M . Luego, para
f (z) M
P z1 z0 j
todo z Cr , es zz0 r
. Adems, segn vimos en el ejemplo 5.36, j=0 zz0
converge
1
uniformemente a
1
z1 z0 en Cr . De all que, por las proposiciones 5.32 y 5.30, tenemos que
zz0
j !
f (z) X z1 z0
Z Z
1 f (z) 1
f (z1 ) = dz = dz
2i
Cr (z z0 ) 1 1 0z z 2i Cr z z0 j=0 z z0
zz0
! Z
1
Z X f (z) z1 z0 j
1 X
f (z) z1 z0
j
= dz = dz
2i Cr j=0 z z0 z z0 2i j=0 Cr z z0 z z0
f (j) (z0 )
Z
X 1 f (z) j
X
= j+1
dz (z1 z0 ) = (z1 z0 )j
j=0
2i Cr (z z0 ) j=0
j!
en donde en el paso nal 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 j f (j) (z0 )
como j=0 cj (z1 z0 ) con cj independiente de z1 y valiendo
j!
.
Antes de ver ejemplos de desarrollos en serie de Taylor, estableceremos algunas propiedades
adicionales de los mismos relativas a la unicidad de la representacin en serie y a la regin de
validez del desarrollo obtenido.
4.1. Ceros de una funcin analtica. Sea f (z) una funcin de variable compleja. Un
cero de f es un nmero complejo z0 tal que f (z0 ) = 0. Un cero z0 de f se dice aislado si
existe un entorno reducido alrededor de l en el cual f no posee ceros.
Teorema 5.50. Sea f (z) una funcin analtica en z0 , y supongamos que z0 es un cero de
f. Entonces o bien z0 es un cero aislado de f o bien existe un entorno Br (z0 ) tal que f (z) = 0
para todo z Br (z0 ).
Demostracin. Por ser
P f analtica en z0 , existe un desarrollo en serie de Taylor de f
j
alrededor de z0 , c
j=0 j (z z0 ) , vlido para un entorno B (z0 ). Dado que f (z0 ) = 0, debe ser
cP0 = 0. Si todos otros los cj fuesen 0, la proposicin es cierta pues para todo z B (z0 ), f (z) =
j
j=0 0(z z0 ) = 0. Si no todos los cj son 0, sea m el menor entero positivo tal que cm 6= 0.
Entonces, para todo z B (z0 ), es
f (z) = cm (zz0 )m +cm+1 (zz0 )m+1 +cm+2 (zz0 )m+2 + = (zz0 )m (cm + cm+1 (z z0 ) + )
Hagamos (z) = cm + cm+1 (z z0 ) + cm+2 (z z0 )2 + , notando que (z0 ) = cm 6= 0. Adems,
(z) es una serie de potencias alrededor de z0 que converge en todo punto de B (z0 ) (a cm en
f (z)
z0 y a (zz m en z 6= z0 ). Luego (z) es analtica en z0 (Teor. 5.42), y, por tanto, es continua
0)
en z0 . De all que, por prop. 3.26, existe r > 0 tal que (z) 6= 0 para todo punto de Br (z0 ).
m
Como f (z) = (z z0 ) (z), se tiene que f (z) 6= 0 para todo z Br (z0 ) {z0 }.
m que aparece en la demostracin anterior sugiere la siguiente denicin.
El entero positivo
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
5.50, puede verse que el orden de z0 es el menor de los enteros positivos cuyo correspondiente
coeciente en el desarrollo en serie de f alrededor de z0 es distinto de 0. Por esto mismo, ya
f (m) (z0 ) (m)
que cm =
m!
, el orden de z0 es el menor entero positivo m tal que f (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. Cambio de centro. Prolongacin analtica. Muchas veces, se tiene el desarrollo
en serie de una funcin alrededor de z0 , e interesa cambiar el centro del desarrollo, es decir,
obtener un desarrollo vlido para la misma funcin pero alrededor de otro punto en el interior
del crculo de convergencia. Lgicamente, los coecientes de este nuevo desarrollo pueden no
EJERCICIOS 103
ser los mismos que en el desarrollo alrededor de z0 , pero el siguiente resultado muestra cmo
calcular, al menos en teora, los nuevos coecientes en base a los originales.
P j
Proposicin 5.51. Sea j=0 cj (z z0 ) el desarrollo en serie de Taylor de f (z) alrededor
de z0 con radio de convergencia R, y sea z1 un punto en el interior del crculo de convergencia.
P j
Entonces, f (z) tiene un desarrollo en serie de Taylor alrededor de z1 dado por
P j=0 dj (z z1 )
k! kj
con dj = k=j ck (kj)!j! (z1 z0 ) , y dicho desarrollo es vlido en el disco D1 = {z C :
|z z1 | < R |z1 z0 |}.
Demostracin. Como el desarrollo en serie alrededor de
P P z0 es vlido en z1 ,Pse tiene que
f (z1 ) = k 0
k=0 ck (z1 z0 ) , f (z1 ) =
c
k=1 k k(z 1 z0 )k1
, y, en general, f (j) (z1 ) = k=j ck k(k
f (j) (z ) k!
1) . . . (kj +1)(z1 z0 )kj , de donde dj = j! 1 = k=j ck (kj)!j! (z1 z0 )kj . Como el disco D1
P
tiene que
kj k j+1
X k! 1i X (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 N alrededor de 0 es k=0 z )
P j
(1z)
2
P k!(N 1)!1i j
2 j+1
y el radio de convergencia de j=0 dj (z z1 ) es n2 . Luego, f2 (z) = j=0 z 2
1i
2 o 1+i
es una prolongacin analtica de f1 (z) en el disco z C : z 2 < 2 .
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) ii) iii) iv)
2n 3n 5n2 n
n=0 n=0 n=0 n=1
P in
e
P ln n
P cosh(i n )
v) vi) vii) ln n
n senh(in) n
n=1 n=1 n=1
104 5. SUCESIONES Y SERIES. SERIES DE TAYLOR
10. Sea f analtica en un dominio D, y sea A = {z D : f (z) = 0}. Mostrar que las
siguientes proposiciones son equivalentes:
a) A
tiene un punto de acumulacin en D .
(k)
b ) Existe un punto z0 D tal que f (z0 ) = 0 para todo k N.
c) f vale constantemente 0 en D.
Usando estas equivalencias, deduzca:
i) Si f es constante en algn entorno contenido en D, entonces f es constante en D.
ii) El Principio de Identidad: si dos funciones analticas en un dominio D coinciden en
algn subconjunto de D que tiene un punto de acumulacin en D, entonces dichas
funciones coinciden en todo D.
(Sugerencia: Para a b, muestre que ese punto de acumulacin pertenece a A y,
en consecuencia, es un cero no aislado para f . Observe entonces el correspondiente
desarrollo en serie de Taylor. Para b c, observe que f vale 0 en algn Br (z0 ); suponga
que existe w D tal que f (w) 6= 0. Hay una poligonal P en D desde z0 hasta w . Sea Z
el subconjunto de puntos de P en que f tiene un cero no aislado, y N = P Z . Cada
punto de N admite un entorno tal que, en el correspondiente entorno reducido, f no se
anula, y cada punto de Z admite un entorno en que f se anula. Las respectivas uniones
de esos entornos muestran que P no es conexa.)
Captulo 6
En base a las deniciones precedentes, resulta fcil extender, a series funcionales biinnitas,
las operaciones con series funcionales innitas establecidas por las proposiciones 5.30, 5.31, 5.32
y 5.33.
P P
Proposicin 6.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. Si las fj (z) son continuas en D , f (z) tambin lo es, y, para cualquier contorno C en D ,
R P R
C
f (z)dz = j= f (z)dz .
C j
0
P 0
3. Si las fj (z) son analticas en D , f (z) es analtica en D , y f (z) = j= fj (z).
105
106 6. 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 GP1 (z) + G2 (z) =P
g(z) para todo z en D.
P
Lo anterior implica que j=0 fj (z) + j=1 fj (z) + j=0 gj (z) + j=1 gj (z) converge
uniformemente en D a F1 (z)+F2 (z)+G1 (z)+G2 (z) (prop. 5.30), lo que, por denicin, signica
P
que j= fj (z) + gj (z) converge uniformemente en D a F1 (z) + F (z) + G1 (z) + G2 (z), es
P 2 P
decir, a f (z) + g(z). Adems, nuevamente por prop. 5.30, 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. 5.31 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 X Z
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
|z1 z0 |
Demostracin. Hagamos
P r
, que satisfar 0 < p < 1.
p=
j
Como j=1 cj (z1 z0 ) es convergente por hiptesis, debe ser l mj cj (z1 z0 )j = 0
j
(prop. 5.17). Es decir, la sucesin {cj (z1 z0 ) } es una sucesin convergente, y, por lo tanto,
+ j
acotada. Entonces existe m R tal que para todo j 1, |cj (z1 z0 ) | m.
Tomemos z satisfaciendo |z z0 | r. Observemos que para todo j 1 es
j j
cj (z z0 )j =
|cj | z1 z0
m z1 z0 = mpj
|z1 z0 |j z z0 r
1. DESARROLLOS EN SERIES DE LAURENT 107
en A(z0 , 1 , 2 ) a f (z).
Teorema 6.5. (Desarrollo en serie de Laurent) Sea f (z) analtica en D = A(z0 , r1 , r2 ).
Entonces, f (z) D
una nica representacin en serie de Laurent con centro en z0 .
admite en
1
R f (w)
Los coecientes del desarrollo estn dados por cj = 2i C (wz )j+1 dw , en donde C es cualquier
0
circunferencia con centro z0 y radio r (con r1 < r < r2 ) recorrida en sentido antihorario. La
convergencia de la serie biinnita a f (z) es absoluta en D, y uniforme en A(z0 , 1 , 2 ) para
1 , 2 cualesquiera satisfaciendo r1 < 1 < 2 < r2 .
Demostracin. Sea z D, cumplindose entonces que r1 < |z z0 | <
cualquier complejo en
r2 . Tomemos 1 , 2 r1 < 1 < |z z0 | < 2 < r2 . Designemos por C1 a la
cualesquiera tales que
circunferencia con centro z0 y radio 1 , por C2 a la circunferencia con centro z0 y radio 2 , y por
C a cualquier circunferencia con centro en z0 y radio r con r1 < r < r2 , todas con orientacin
positiva (ver g. 1).
Figura 1.
Desarrollemos
por separado las dos integrales del segundo miembro. Para la integral sobre C1 ,
wz0
notemos que
zz0
< 1 cuando w est sobre C1 , por lo que, teniendo presente las proposiciones
5.26 y 5.32 y el ejemplo 5.36, es
Z Z Z
f (w) f (w) f (w)
dw = dw = dw
C1 wz C1 (w z0 ) (z z0 ) C1 (z z0 ) 1 wz0
zz0
!
f (w) X (w z0 )j f (w) (w z0 )j
Z X Z
= dw = dw
C1 (z z0 ) j=0 (z z0 )j j=0 C 1
z z 0 (z z0 )j
X Z
= f (w)(w z0 )j dw (z z0 )j1
j=0 C1
X Z
= f (w)(w z0 ) j1
dw (z z0 )j
j=1 C1
X Z
= f (w)(w z0 ) j1
dw (z z0 )j
j=1 C
Z Z Z
f (w) f (w) f (w)
dw = dw = dw
C2 wz C2 (w z0 ) (z z0 ) C2 (w z0 ) 1 zz0
wz0
! Z
f (w) X (z z0 )j
Z
X f (w)
= dw = dw (z z0 )j
C2 (w z0 ) j=0 (w z0 )j j=0 C 2
(w z0 )j+1
Z
X f (w)
= j+1
dw (z z0 )j
j=0 C (w z0 )
Z Z
1 X f (w) 1 X
f (z) = j
dw (z z0 ) + f (w)(w z0 ) dw (z z0 )j
j1
2i j=0 C (w z0 )j+1 2i j=1 C
1
R f (w) P
j Z, hagamos cj = 2i
Para
C (wz 0 )j+1 dw . Resulta entonces que f (z) = j=0 cj (z
j
P j
P 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 6.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
j
Por ltimo, sea 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 6.4, esta serie biinnita 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
f (z) X
m+1
= dj (z z0 )jm1
(z z0 ) j=
1. DESARROLLOS EN SERIES DE LAURENT 109
Z Z
f (z) X
dz = dj (z z0 )jm1 dz
Cr (z z0 )m+1 j= Cr
Ejemplo 6.6. Desarrollemos en serie de Laurent la funcin f (z) = (z 2i)1 con centro
en z0 = i, en todas las regiones del plano complejo en que dicha funcin admita desarrollo.
Primero veamos cules son todas las posibles combinaciones de valores de r1 y r2 (minimales
y maximales, respectivamente) tales que f (z) es analtica en A(i, r1 , r2 ). La funcin tiene una
sola singularidad, correspondiente al complejo 2i. Por lo tanto, es analtica en A(i, 0, 1) y
A(i, 1, ).
1. Desarrollo vlido para A(i, 0, 1) zi
Cualquier z en este conjunto satisface |z i| < 1, y, en consecuencia, < 1.
i
Por
lo tanto, en esta regin, tenemos que
j X
1 1 1 1 X zi (z i)j
= = = i =
z 2i (z i) i i 1 zi
i j=0
i j=0
ij1
f (z) = j
P
por lo que, para esta regin, j= cj (z i) con
0 si j < 0
cj = 1
ij1
si j0
Notemos que result un desarrollo sin potencias negativas, lo cual era de esperarse ya
que f (z) es analtica tambin en z0 , y, consecuentemente, analtica en todo el interior
del crculo con centro i y radio 1.
2. Desarrollo vlido para A(i, 1, )
110 6. SERIES DE LAURENT. TEOREMA DE LOS RESIDUOS
i
Cualquier z en este conjunto satisface |z i| > 1, y, en consecuencia,
zi
< 1. Por
lo tanto, en esta regin, tenemos que
1 1 1 1 1 X j
= = i = i (z i)j
z 2i (z i) i z i 1 zi z i j=0
X 1
X
j1
= j
i (z i) = ij1 (z i)j
j=0 j=
P
Entonces, para esta regin, f (z) = j= cj (z i)j con
j1
i si j < 0
cj =
0 si j 0
Ejemplo 6.7. Desarrollemos ahora en serie de Laurent la funcin f (z) = (z + 2i)1 con
centro en z0 = i, en todas las regiones del plano complejo en que dicha funcin admita desarrollo.
La funcin tiene una sola singularidad, correspondiente al complejo 2i. Por lo tanto, es
analtica en A(i, 0, 3) y A(i, 3, ).
z
Ejemplo 6.8. Veamos cmo desarrollar en serie de Laurent la funcin f (z) =
(zi)(z 2 +4)
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 z
f (z) = 2
= (z i)1 2
z iz +4 z +4
1. DESARROLLOS EN SERIES DE LAURENT 111
1
La expresin (z i) ya es una potencia de (z z0 ), de modo que la estrategia ser desarrollar
z 1
en serie a 2 y luego multiplicarla por (z i) . Para encontrar ese desarrollo, recurramos a
z +4
la descomposicin en fracciones parciales, debiendo encontrar A y B tales que, para todo z que
no anule denominadores,
z A B
= +
z2 +4 z 2i z + 2i
Es decir, A(z + 2i) + B(z 2i) = z . Como buscamos una identidad en z , haciendo z = 2i
obtenemos B = 1/2, y haciendo z = 2i obtenemos A = 1/2. En efecto, es fcil chequear que
z 1/2 1/2
= +
z2 +4 z 2i z + 2i
para todo z / {2i, 2i}. Del ejemplo 6.6, ya sabemos cules son los desarrollos vlidos para
1
(z 2i) con centro en i, y, del ejemplo 6.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
!
j
1 X 1 1 X (1)
f (z) = (z i)1 j1
(z i)j + j+1
(z i)j
2 j=0 i 2 j=0 (3i)
(1)j
1
X 1
= (z i) j1
+ j+1
(z i)j
j=0
2i 2(3i)
(1)j (1)j+1
X 1 j1
X 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
1
X ij1 j1
X (1)j
= (z i) + j+1
(z i)j1
j=
2 j=0
2(3i)
2
X ij2 j
X (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
112 6. 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 1 X
f (z) = (z i) i j
(z i) + (3i)j1 (z i)j
2 j= 2 j=
1 j1
(3i)j1
X i
= + (z i)j1
j=
2 2
2 j2
(3i)j2
X i
= + (z i)j
j=
2 2
f (z) = j
P
Entonces, para esta regin, j= cj (z i) con
j2 (3i)j2
i
+ si j 2
cj = 2 2
0 si j 1
Ejemplo 6.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
j X
z+1 1
X 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) = z = z = zj
z 2 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
si j 2
(2j)!
cj =
0 si j 1
Ejemplo 6.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 6.6, habida cuenta de que, para todo
0 1
z 6= 2i, es g(z) = f (z), con f (z) = (z 2i) . Por lo tanto, para A(i, 0, 1), tendremos que
X j j1
X j+1
g(z) = j1
(z i) = j (z i)j
j=0
i j=0
i
1
X 2
X
j1
g(z) = ji (z i) j1
= (j + 1)ij2 (z i)j
j= j=
2. CLASIFICACIN DE SINGULARIDADES AISLADAS 113
Ln(z + 2)
f (z) =
z3
en serie de Laurent con centro z0 = 0, en todas las zonas del plano en que dicho desarrollo sea
posible.
La funcin dada tiene singularidades en 0 y en todos los complejos que estn sobre el eje real
desde 2 hacia la izquierda. Por lo tanto, podremos encontrar desarrollo slo para A(0, 0, 2)
(pues, en cualquier otra corona con centro en 0, f (z) contendr singularidades).
1
Notemos que Ln(z + 2) es una primitiva para (z + 2) en el interior del disco D = {z C :
|z| < 2}. Por ello, para todo z D, llamando Cz a cualquier contorno en D desde 0 hasta z , es
Z
1
(10) d = Ln(z + 2) Ln 2
Cz 2 +
(1)j (1)j z j+1
X Z X
j
Ln(z + 2) = ln 2 + d = ln 2 +
j=0
2j+1 Cz j=0
2j+1 j + 1
!
j
1 X (1) 3
X (1)j
f (z) = 3 ln 2 + j+1
z j+1 =z ln 2 + j+1
z j2
z j=0
(j + 1)2 j=0
(j + 1)2
X (1)j+2 j
= z 3 ln 2 + z
j=2
(j + 3)2j+3
f (z) = j
P
Por lo tanto, en A(0, 0, 2), es j= cj z donde
j 4
0 si
cj = ln 2 si j = 3
(1)j+2
(j+3)2j+3
si j 2
1
An sin estar denida en i, el lmite de f cuando z tiende a i existe y vale
2i
, 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
L = , z z0 son nulos. En
es decir, todos los coecientes de las potencias negativas de
este caso, z0 se dice una singularidad evitable de f . Por ejemplo, i es una singularidad
2
evitable para la funcin (z i)/(z + 1) (ejemplo 6.12).
L no es vaco pero tiene un cantidad nita de elementos. En este caso, se dice que z0 es
un polo de f . Si hacemos m = m n L, se dice que el orden del polo z0 es m. Los
polos de orden 1 se llaman polos simples. Por ejemplo, i es un polo simple para la
2
funcin (z i)/(z + 1) (ejemplo 6.12).
L tiene una cantidad innita de elementos. En este caso, se dice que z0 es una singula-
ridad esencial de f . Por ejemplo, 0 es una singularidad esencial para la funcin e1/z
(ejemplo 6.13).
2. CLASIFICACIN DE SINGULARIDADES AISLADAS 115
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.
Dicha expresin es, como vemos, una serie de potencias, que converge en todo punto de Br (z0 )
mzz0 j
P
(a f (z) en Br (z0 ), y a c0 en z0 ). Ya que l j=0 cj (z z0 ) = c0 (prop. 5.31), tenemos que
lmzz0 f (z) = c0 C. Queda demostrado entonces el siguiente resultado:
Proposicin 6.14. Si z0 es una singularidad evitable de f (z), entonces lmzz0 f (z) existe
en C.
Como vemos, el trmino evitable proviene del hecho de que, con una adecuada redenicin
de f en el centro del entorno, logramos una funcin que es analtica en todo el entorno (incluido
el centro) y que coincide con f en el entorno reducido.
De la proposicin 6.14, podemos extraer la siguiente consecuencia:
= 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
Proposicin 6.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 )m , donde es una
0
funcin analtica en z0 y (z0 ) 6= 0.
analtica en z0 y (z0 ) 6= 0 (prop. 6.16). Siendo continua en z0 , tenemos que l mzz0 (z) 6= 0.
m
Por otro lado, lmzz0 (z z0 ) = 0, de modo que lmzz0 f (z) = .
(z)
f (z) =
(z z0 )m
para algn entorno reducido de z0 , con analtica en z0 y (z0 ) 6= 0 (y, por continuidad de
en z0 , puede suponerse que no tiene ceros en ese entorno). 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 denicin, 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.
sen(/z)
Ejemplo 6.19. Para la funcin f (z) = senz , resulta que g(z) = 1/f (z) = z
, cuyos
z
ceros son los reales de la forma 1/k (k Z {0}).
g 0 (z) = z cos z 2 sen
z z
1
g0
= k cos(k) k12 sen(k) 6= 0, as que cada cero es de orden
y, para k Z {0}, k
es
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.
> 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 denida por
1
g(z) =
f (z) w
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 . Por lo tanto, g admite
P j
desarrollo en serie de Laurent con centro z0 vlido para B , digamos g(z) = j= cj (z z0 ) .
que z0 no puede ser singularidad evitable de g : si lo fuera, sera g(z) =
PVeamos primero j
c
j=0 j (z z 0 ) , con algn cj 6= 0 (de lo contrario, habra contradiccin con el hecho de que g
P j
no es nula en B ); denamos entonces, en B (z0 ), h(z) = j=0 cj (z z0 ) (h es igual que g , salvo
que denida en el centro del entorno); h es analtica en z0 y, para todo z B , f (z) = w+1/h(z).
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
max g(z)(z z0 )m1 : z CR 2R = max {|g(z)| : z CR } Rm
0 6= |cm |
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 arma 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 arma que, en cualquier entorno de una singula-
ridad esencial, la funcin toma todos los valores complejos, salvo una posible nica excepcin,
una cantidad innita de veces. Es el Teorema de Picard, que enunciamos sin demostracin, por
requerir de herramientas ms avanzadas.
Ejemplo 6.22. Consideremos la funcin f (z) = e1/z , analizada en el ejemplo 6.13. Vimos
all que 0 es la nica singularidad de f, y que es de carcter esencial. La funcin jams toma
118 6. SERIES DE LAURENT. TEOREMA DE LOS RESIDUOS
el valor 0 (es decir, E = {0}). Sin embargo, para cualquier w = ei 6= 0, los complejos de la
forma
ln + 2k
zk = i
(ln )2
+ ( + 2k)2 (ln ) + ( + 2k)2
2
1/zk
satisfacen e = w, cualquiera sea k Z. Para k sucientemente grande, |zk | se hace arbi-
trariamente pequeo, por lo que, en cualquier entorno de 0, hay innitos de tales zk , es decir,
innitos puntos en los que f (z) toma el valor w .
El teorema 6.20 permite resumir los modos de comportamiento de una funcin en las cer-
canas de una singularidad aislada, de acuerdo al siguiente resultado.
Demostracin. Elijamos r > 0 tal que Br (z0 ) int(C). Entonces, la nica singularidad
f en Br (z0 ) es z0 . Sea j
P
de j= cj (z z0 ) el desarrollo en serie de Laurent de f (z) con centro
en z0 vlido para Br (z0 ), y sea C1 cualquier circunferencia con centro z0 y radio menor que r .
R R
Por el principio de deformacin de contornos, es
C
f (z)dz = C1 f (z)dz , y, por el Teorema de
R
Laurent, es 2ic1 = f (z)dz . Combinando estas dos expresiones, y teniendo en cuenta la
C1
denicin de residuo de f en z0 , se sigue el resultado.
Entonces, queda claro que si disponemos de algn mtodo para calcular fcilmente residuos,
contaremos con una buena alternativa de clculo de ciertos tipos de integrales sobre contornos
cerrados.
En cualquier caso, realizar el desarrollo en serie de Laurent para f con centro en z0 vlido
para un entorno reducido de z0 es una alternativa para obtener el residuo de f en z0 sin resolver
la integral dada en el Teorema de Laurent (basta con observar, en tal desarrollo, el coeciente
1
de (z z0 ) ). De hecho, ste es el nico mtodo del que se dispone para el caso en que z0
es singularidad esencial. Por otro lado, el clculo del residuo en las singularidades evitables
es automtico: vale 0 por la denicin de ese tipo de singularidades. Veamos entonces cmo
podemos calcular residuos en polos, dado que existen alternativas para obtenerlos sin siquiera
hacer desarrollos en serie.
Supongamos que f (z) tiene en z0 un polo simple. Luego,
f (z) = c1 (z z0 )1 + c0 + c1 (z z0 ) + c2 (z z0 )2 +
en algn Br (z0 ). Entonces, en ese entorno reducido tenemos que
(z z0 )f (z) = c1 + c0 (z z0 ) + c1 (z z0 )2 + c2 (z z0 )3 +
Tomando en ambos miembros lmite cuando z tiende a z0 , resulta
z i 1
Res (f, i) = lm(z i)f (z) = lm = 2 = i
zi zi z 2 +4 i +4 3
Anlogamente,
z 2i 1
Res (f, 2i) = lm (z 2i)f (z) = lm = = i
z2i z2i (z i)(z + 2i) i(4i) 2
120 6. SERIES DE LAURENT. TEOREMA DE LOS RESIDUOS
y
z 2i 1
Res (f, 2i) = lm (z + 2i)f (z) = lm = = i
z2i z2i (z i)(z 2i) (3i)(4i) 6
Es de observar que si hubisemos decidido calcular residuos haciendo los desarrollos en serie,
del ejemplo 6.8 slo podramos concluir que el residuo de f en i es i/3, pero para los residuos
en 2i y 2i no nos hubiera servido ninguno de los desarrollos obtenidos en aquel ejemplo, ya
que los mismos son con centro en i, pero aqu necesitamos desarrollos con centro en 2i y 2i,
respectivamente.
Veamos un caso particular de polo simple que aparece a menudo en los clculos.
g(z)
Proposicin 6.28. Supongamos que f (z) = h(z)
, con g y h analticas en z0 , z0 cero simple
de h, y g(z0 ) 6= 0. Entonces,
g(z0 )
Res (f, z0 ) =
h0 (z0 )
Demostracin. Por ser z0 cero simple de h,
en algn entorno de z0 debe ser h(z) =
(z z0 )(z), con analtica en z0 y (z0 ) 6= 0. Entonces, h0 (z) = (z) + (z z0 )0 (z), por lo
0
que h (z0 ) = (z0 ). Luego,
d
(z z0 )2 f (z)
c1 = Res (f, z0 ) = lm
zz0 dz
En general, siguiendo este procedimiento, para un polo de orden m tenemos el siguiente
resultado.
X
m
(z z0 ) f (z) = cj (z z0 )j+m
j=m
3.1. El Teorema de los Residuos. La proposicin 6.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 nita
de singularidades (que sern, obviamente, aisladas), a travs del siguiente resultado.
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 6.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,
2
Z
1 1 2
dx = 2i Res(f, 0) + Res f, 2 + 3 i = 2i i =
0 2 + sen x 3 3
4.2. Integrales de tipo f (x)dx.
R
Si f (x) es una funcin real (de la variable real x) continua en todo x R, se dene 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 dene 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 denida 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, f (z)dz = R f (x)dx, por lo
R R LR
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
nita de singularidades en el semiplano por encima del eje real, resultara que, para todo R
sucientemente grande, la concatenacin de LR y SR contendra en su interior a todas ellas (ver
g. 3).
Figura 3.
4. APLICACIONES DEL TEOREMA DE LOS RESIDUOS AL CLCULO DE INTEGRALES REALES 125
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 innito (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
Lema 6.34. Sean r, t1 , t2 nmeros reales tales que r > 0 y t1 < t2 . Hagamos
D = {z C : |z| r t1 Arg z t2 }. Sea f una funcin analtica en D, satisfaciendo que
para todo > 0, existe > 0 tal que para todo z D con |z| > , se cumple que |zf (z)| < .
Entonces,
Z
lm f (z)dz = 0
R CR
donde CR = {Reit : t1 t t2 }.
Demostracin. Para cualquier R > r, la longitud de CR es (t2 t1 )R, y entonces, por la
desigualdad M-L,
Z
f (z)dz max {|f (z)| : z CR } R(t2 t1 ) = max {|zf (z)| : z CR } (t2 t1 )
CR
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
Teorema 6.35. Sea f (x) una funcin real de variable real que admita extensin a una
funcin compleja f (z) tal que satisfaga:
1. f (z) es analtica sobre el eje real, y tiene una cantidad nita de singularidades en el
semiplano por encima del eje real.
2. |zf (z)| tiende a 0 cuando z tiende a innito por el semiplano superior.
Entonces,
Z X
V PC f (x)dx = 2i Res (f, zk )
Imzk >0
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.
z2
Para ello, consideremos f (z) = z 4 +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 innito, y entonces |zf (z)| tiende a 0 cuando z tiende a
innito.
Por otro lado, aplicando la proposicin 6.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
2
Z
ek sen x dx = ek sen x dx + ek sen x dx
0 0 2
4. APLICACIONES DEL TEOREMA DE LOS RESIDUOS AL CLCULO DE INTEGRALES REALES 127
Figura 4.
y, haciendo el cambio de variable t = x, se puede ver que la ltima integral resulta igual a
R
0
2
ek sen x dx.
Teorema 6.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 nita de singularidades en el
semiplano por encima del eje real.
2. |f (z)| tiende a 0 cuando z tiende a innito por el semiplano superior.
Entonces,
Z X
f (x)eimx dx = 2i Res f (z)eimz , zk
V PC
Imzk >0
Demostracin. Sea r > 0 tal que para toda singularidad zk de f (z) en el semiplano
superior, |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,
excepto en una cantidad nita de singularidades . Por lo tanto,
Z Z X
imz
f (z)eimz dz = 2i Res f (z)eimz , zk
f (z)e dz +
LR SR Imzk >0
de donde
Z Z X
imx
f (z)eimz dz = 2i Res f (z)eimz , zk
V PC f (x)e dx + lm
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
Por lo tanto,
Z Z
imz
i
mR sen +imR cos i
f (z)e dz =
f Re e Rie d
SR 0
Z
f Rei emR sen Rd
0
Z Z
2
2mR/
RM (R) e d = 2RM (R) e2mR/ d
0 0
emR 1 = 1 emR M (R)
= 2RM (R)
2mR m
Es decir que, para R sucientemente grande,
Z
1 emR M (R)
imz
f (z)e dz
SR m
mR
Dado que
R M (R) y e tienden a 0 cuando RR (pues m es positivo), se tiene que
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 6.38. Calculemos
Z
x sen(3x)
V PC dx
x2 + 1
Dicho valor corresponde a la parte imaginaria del valor principal de
xei3x
Z
dx
x2 + 1
Por el teorema 6.37, este ltimo vale
2
zei3z ie3i
2i Res 2
, i = 2i = 3i
z +1 2i e
Por lo tanto,
Z
x sen(3x)
V PC 2
dx = 3
x +1 e
De paso, hemos deducido tambin que
Z
x cos(3x)
V PC dx = 0
x2 + 1
EJERCICIOS
1. Encontrar el desarrollo en Serie de Laurent de las siguientes funciones alrededor de 0:
sen z sen2
z 1
i)
z2
ii)
z
iii) z3e z
1 ez 1
iv)
z
sen2 z2 v)
z
vi)
1+cos z
z4
2. Desarrollar las siguientes funciones en Serie de Laurent en las regiones indicadas:
1
a ) z(z+i) en: i) |z 1| < 1; ii) 1 < |z 1| < 2; iii) |z 1| > 2; iv) 0 < |z| < 1; v)
|z| > 1
1
b ) z 2 (z3)2 en: i) 0 < |z 3| < 3; ii) |z 3| > 3
e2z
c ) (z1)3 en |z 1| > 0
EJERCICIOS 129
3. Clasicar las singularidades de las siguientes funciones, y, en los casos en que sean
evitables, redenir 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 1 sen z
i) ii) iii)
zsen z ez +z1 ez +z1
1
1 1cos z
i)
1sen z
ii)
z2
iii) e z+2
1 1 z cos z1
iv) cos
z
v) z
e 1
+ z12 vi)
cos z1
1+cos z z 2 3z+2 1
i)
z
(z0 = ) ii)
z 2 2z+1
(z0 = 1) iii) cos z+ (z0 = )
Ln(1+z 3 ) sen z2
iv)
z2
(z0 = 0) v)
z
(z0 = 0) vi) cos z1 + sen 2z
2z
(z0 = 0)
10. Calcular el residuo en los puntos singulares para las siguientes funciones:
tan z ez z
i)
z 2 4 z
ii) 1
sen2 z
iii)
z 2 +4
z + 2i
4
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 las siguientes integrales por el teorema de los residuos, cuando sea posible:
R 1 1
a) 1 dz siendo la circunferencia con centro en 0 y radio 10 .
R sen1 z 1 1
b)
sen z1
dz siendo la circunferencia con centro en 2 y radio
30
.
z
R R
i)
|z|=1
z tan(z)dz = 0 ii)
|z|=10 (z1)2 (z+2)
dz =0
ez 2
z 2 sen z1 dz = 3 i
R R
iii)
|z|=2 z 3 (z+1)
dz = 1 e
i iv)
|z|= 12
2
ez 1 4
= 2 e (e 1)i z
R R
v)
|z1|=3 z 3 iz 2
dz vi)
|z1|=5 ez +3
dz = 3
i ln 3
130 6. SERIES DE LAURENT. TEOREMA DE LOS RESIDUOS
R 2 d 2
R 2 d 2a
iii)
0 12k sen +2
= 1k2
para k2 < 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
i (z z) m (z + z)
= +n
2 2
i i m m
z z = z+ z+n
2 2 2 2
m i m i
+ z+ z+n = 0
2 2 2 2
m
Llamando
2
+ 2i y C = n, vemos que la ecuacin de una recta no vertical en el plano
B =
complejo est dada por Bz + Bz + C = 0, para B C (B
/ R) y C R. Procediendo en forma
anloga para una recta vertical, cuya ecuacin en el plano cartesiano es x = k (para k R),
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
(12) 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 (12) 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)
C 6= 0, la recta no pasa por el origen.
verica la ecuacin. Si
SiB 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.
132
2. TRANSFORMACIN DE CURVAS Y REGIONES 133
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
(13) 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:
Destaquemos que la ecuacin (13) se puede interpretar como una generalizacin de la ecuacin
(12), o que esta ltima corresponde a la (13) con A = 0. Entonces, podemos resumir todo
diciendo:
La ecuacin de una recta o una circunferencia en el plano complejo est dada por:
Azz + Bz + Bz + C = 0
Si A = 0 (y B 6= 0), se tiene una recta (que pasa por el origen si y slo si C = 0).
2
Si A 6= 0 y |B| > AC , se tiene una circunferencia (que pasa por el origen si y slo si
C = 0).
u = u (x, h (x))
v = v (x, h (x))
134 7. TRANSFORMACIONES EN EL PLANO COMPLEJO
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 grcamente 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.
u2 v 2
25 + 9 = 1
4 4
Deducimos entonces que el transformado de la curva C por f es la mitad superior de la elipse
con centro en el origen, semieje horizontal 5/2 y semieje vertical 3/2. La gura 1 muestra los
grcos correspondientes.
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 innita
(que, tcnicamente, no corresponde a una curva, segn nuestra denicin). Sin embargo, el
procedimiento para encontrar su transformado es esencialmente el mismo que explicamos an-
teriormente.
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
(r2 1) (r2 1)2 2
r2
(r2 +1)2
u.
2
u v2
Si r 6= 1, + = 1 con v0
1 < r 3.
y
r2 +1 2 r2 1 2
r r 2 q
r2 +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:
0 u2 v2
C = {w = (u, v) C : + = 1, v 0, 1 < r 3} {w = (u, v) C : 2
r2 +1 2 r2 1 2
r r
u 2, v = 0}
136 7. TRANSFORMACIONES EN EL PLANO COMPLEJO
u2 v2
En particular, si r = 3: + =1 con v 0. Luego:
10 2 8 2
3 3
( )
0 u2 v2
R = (u, v) C : + 8 2 1; v 0
10 2
3 3
Vemos la situacin grcamente en la gura 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
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
3. Transformaciones conformes
Supongamos que C1 es una curva suave con expresin z(t) (a t b), que z0 = z(t0 ) es
un punto de ella, y que f es una funcin denida en un dominio que contiene a C1 , analtica
0
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 0 (t0 ) y tiene argumento
1 = arg z 0 (t0 ). En la curva C2 , el vector tangente en w0 = f (z(t0 )) es w0 (t0 ) y su argumento es
2 = arg w0 (t0 ) = arg f 0 (z0 ) + arg z 0 (t0 ) pues w0 (t0 ) = f 0 (z0 )z 0 (t0 ). Si llamamos = arg f 0 (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
0 0 0
que C1 es otra curva suave que pasa por z0 y C2 es su transformada por f . Sea 1 el argumento
0 0 0
del vector tangente a C1 en z0 y 2 el del vector tangente a C2 en w0 . Por un razonamiento
0 0 0
anlogo, 2 = 1 + . Entonces, las dos curvas C2 y C2 se intersecan en w0 formando un ngulo
02 2 = (01 +)(1 +) = 01 1 , vale decir, el mismo ngulo que forman las curvas C10 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 actan de esta manera (no alterando el ngulo entre
curvas que se intersecan) se denominan transformaciones conformes. Resumiendo:
Proposicin 7.5. Sea f una funcin analtica en un punto z0 . Si f 0 (z0 ) 6= 0, entonces f
es una transformacin conforme en z0 .
Nos preguntamos por la validez de la proposicin recproca. Los desarrollos en series de
Taylor nos permiten establecer que la condicin de tener derivada no nula es tambin necesaria
para la conformidad de una funcin analtica.
Teorema 7.6. Sea f una funcin analtica en z0 . Se tiene que f es conforme en z0 si, y
slo si, f 0 (z0 ) 6= 0.
Demostracin. La vuelta del enunciado es el contenido de la proposicin 7.5. Veamos la
ida, por contrarreciprocidad. Supongamos entonces que f 0 (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!
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 m2 minimal tal
(m)
que f (z0 ) 6= 0. Entonces, para todo z B , tenemos que
X f (j) (z0 ) j
X f (j+m) (z0 )
f (z) f (z0 ) = (z z0 ) = (z z0 )j+m
j=m
j! j=0
(j + m)!
f (m) (z0 ) X f (j+m) (z0 ) m!
= (z z0 )m (z z0 )j
m! j=0
f (m) (z0 ) (j + m)!
Por teorema 5.42, 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 C10 su imagen por f .
Llamemos 1 al ngulo orientado del vector tangente a C1 en z0 , y 1 al del vector tangente a
C10 en f (z0 ). Tendremos que
1 = lm arg(z z0 ) 1 = lm arg (f (z) f (z0 ))
z z0 z z0
z C1 z C10
1 = m1 + + lm arg h(z)
z z0
z C10
f (z) = z + b bC
Cualquier complejo z, bajo la accin de una traslacin, se traslada segn el vector constante
b (recordar la interpretacin geomtrica de la suma de complejos). Resulta entonces que la
imagen de cualquier subconjunto de C es una copia de ese subconjunto, desplazada segn la
direccin, sentido y mdulo de b. En particular, una recta se transforma en una recta, y un
crculo en un crculo de igual dimetro.
4. TRANSFORMACIONES POR FUNCIONES ELEMENTALES 139
f (z) = az a C {0}
Hemos excluido el caso a=0 pues de lo contrario la funcin sera trivial.
Por qu se puede llamar rotacin? Por lo que hemos visto acerca de la multiplicacin
de nmeros complejos: el producto tiene argumento igual a la suma de los argumentos de los
factores. Como a es una constante, cada z del plano, al aplicrsele la funcin, rota un ngulo
igual al argumento de a alrededor del origen. Por otro lado, el mdulo del producto es el
producto de los mdulos; luego, el complejo resultante, az , tendr mdulo |az| = |a| |z|. Por
sto, az estar ms cerca del origen que z si |a| < 1, ms lejos si |a| > 1, y a igual distancia
del origen si |a| = 1. De all la otra parte del nombre, cambio de escala. El cambio de escala
se llama expansin o dilatacin cuando |a| > 1 y contraccin cuando |a| < 1. Si |a| = 1, la
transformacin es isomtrica.
De acuerdo a lo dicho, es claro que una recta se transforma en otra recta y un crculo en
otro crculo (posiblemente de distinto dimetro). Corroboraremos sto analticamente, usando
la ecuacin (1) que representa rectas o circunferencias:
SeaAzz + Bz + Bz + C = 0 la ecuacin de una recta o un crculo (A, C R, B C).
Hagamos w = az , por lo que z = w/a y z = w/a. Reemplazando en la ecuacin de la recta o
el crculo, queda
ww w w
+B +B +C = 0
A
aa a a
0 0 0
A ww + B w + B w + C = 0
0 A 0 B
donde A = 2 R, C R y B = C. Es decir, llegamos a la ecuacin de una recta o una
|a| a
circunferencia en el plano w . Ms an, si partimos de una recta (A = 0) en el plano z , llegamos
0
a otra recta (A = 0) en el plano w , y si partimos de una circunferencia (A 6= 0) llegamos a
0
otra circunferencia (A 6= 0).
f (z) = az + b a, b C, a 6= 0
Como puede verse, una transformacin lineal es la composicin de una rotacin y cambio
de escala con una traslacin. De este modo, es fcil analizar el transformado de una gura
cualquiera a travs de una funcin lineal: primero hay que rotarla alrededor del origen un
ngulo igual al argumento de a, luego cambiarle la escala (de acuerdo a |a|), y nalmente
trasladarla segn el vector b. La gura 5 muestra, al centro, un conjunto de origen que, por
distintas transformaciones lineales, genera los otros cuatro dibujos.
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.
1
w = f (z) =
z
Observamos que sta es una funcin uno a uno entre los puntos no nulos del plano complejo.
Dado un punto z 6= 0, dnde se encuentra el transformado? Usando expresin exponencial,
observamos rpidamente que, haciendo w = 1/z , tenemos que
1
|w| = arg w = arg z
|z|
por lo que concluimos que (ver gura 6):
1 1
El punto w= se encuentra en la direccin del conjugado de z, a la distancia del origen.
z |z|
Imz
z
1
Rez
1
-1
z
Figura 6.
Cww + Bw + Bw + A = 0
Esta expresin nos permite visualizar de modo directo que la inversin transforma una recta o
circunferencia en otra recta o circunferencia no necesariamente preservndose el tipo de gura.
Ms especcamente:
4. TRANSFORMACIONES POR FUNCIONES ELEMENTALES 141
FIGURA SE TRANSFORMA EN
Recta que pasa por el origen (A = 0 = C) Recta que pasa por el origen
Recta que no pasa por el origen (A = 0, C 6= 0) Circunferencia que pasa por el origen
Circunferencia que pasa por el origen (A 6= 0, C = 0) Recta que no pasa por el origen
Circunferencia que no pasa por el origen (A 6= 0 6= C ) Circunferencia que no pasa por el origen
4.4.1. Circunferencia de inversin. Si z = rei , para hallar los puntos jos en la inversin
1
planteamos la ecuacin f (z) = z , es decir,
z
= z , que nos conduce a z 2 = 1, es decir, z = 1.
O sea que los puntos jos de la inversin son 1 y 1.
Qu pasa con los puntos que estn sobre la circunferencia unitaria con centro en el origen?
f ei = e1i = ei . Obtenemos otro complejo sobre la circunferencia; precisamente, obte-
nemos su conjugado.
De todo lo anterior, podemos concluir que:
Por esta razn, la circunferencia unitaria centrada en el origen se llama circunferencia de in-
versin.
Ntese que:
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
1
,
si z 6= 0 z 6=
w = f (z) = z
, si z=0
0, z=
si
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
a z + ab a z + ab
az + b 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
4.5.1. Propiedades.
a0 az+b
+ b0
cz+d a0 az + a0 b + b0 cz + b0 d
(f2 f1 ) (z) = f2 (f1 (z)) = =
c0 az+b
cz+d
+ d0 c0 az + c0 b + d0 cz + d0 d
(a0 a + b0 c) z + a b + b d 0 0
=
(c0 a + d0 c) z + c0 b + d0 d
Debe cumplirse que (a0 a + b0 c) (c0 b + d0 d) (a0 b + b0 d) (c0 a + d0 c) 6= 0. Veamos que as es:
(a a + b c) (c b + d d) (a b + b d) (c a + d c) = a ad d + b cc b a0 bd0 c b0 dc0 a
0 0 0 0 0 0 0 0 0 0 0 0
= ad (a0 d0 b0 c0 ) bc (a0 d0 b0 c0 )
= (ad bc) (a0 d0 b0 c0 ) 6= 0,
por ser ad bc 6= 0 y a0 d0 b0 c0 6= 0
EJERCICIOS 143
En efecto, si c 6= 0,
a z + dc dc + b a z + dc ad
az + b +b a bc ad 1
f (z) = = d
= d
c = +
z + dc
cz + d c z+ c c z+ c c c2
Esta expresin es la secuencia de las siguientes funciones:
d
f1 (z) = z + Traslacin
c
1
f2 (z) = Inversin
z
bc ad
f3 (z) = z Rotacin y Cambio de Escala
c2
a
f4 (z) = z + Traslacin
c
Por lo tanto, una transformacin de Mbius transforma una recta o circunferencia en una recta
o circunferencia, ya que es composicin de transformaciones que operan de esa manera.
EJERCICIOS
1. 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 .
2. Escribir una ecuacin de la forma Azz +Bz +Bz +C = 0 para cada una de las siguientes
guras:
a ) Recta que pasa por 1i
2 i.y
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.
3. Decidir cules de las siguientes expresiones representan una recta o una circunferencia,
y, en ese caso, gracar 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
c ) (3 i)z + (3 i)z + 4i = 0
d ) (3 i)z + (3 i)z + 4 = 0
4. Sea R = {z C : 0 Re z 2 0 Im z 1}. Determinar el transformado de R bajo
i
las funciones f1 (z) = z + (1 2i), f2 (z) = 2e 4 z y f3 = 2ei 4 z + (1 2i).
5. 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.)
6. Encontrar el transformado del rectngulo de vrtices (2, 1), (3, 1), (2, 4) y (3, 4) bajo la
z
transformacin w = e .
144 7. TRANSFORMACIONES EN EL PLANO COMPLEJO
z2 + 1 1
iz + (1 i) sen
zi z
11. Encontrar todas las transformaciones lineales que tengan a i como punto jo.
12. 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?
13. Determinar la ecuacin de la curva en el plano w en la cual la lnea recta x+y =1 se
transforma por:
2
(a) w = z (b) w = 1/z
14. En la gura 9, al dibujo de la izquierda se le aplic una inversin 1/z . Identicar, en la
gura de la derecha, la imagen de cada trazo que compone la gura 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.
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.
EJERCICIOS 145
2z 5
15. Hallar los punto jos de la transformacin bilineal w= .
z+4
16. 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.
Mostrar que
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.
punto nalmente peridico para f si existen n 0, m 1 tales que f [n+m] (z0 ) = f [n] (z0 )
(tal m se denomina un perodo nal de z0 ). Se dice que la rbita de z0 bajo f no escapa si
[n]
existe R > 0 tal que n N, f (z0 ) < R; en caso contrario, se dice que la rbita de z0 bajo
f escapa.
146
1. CONJUNTOS DE JULIA 147
{z0 , z0 , z0 , . . .} ,
la de uno nalmente jo es de tipo
{z0 , z1 , . . . , zn , zn , zn , . . .} ,
la de uno peridico de perodo m tiene forma
1.2. Conjuntos de Julia. El hecho de que una rbita escape o no, depende de la funcin
f y del z0 inicial. En nuestro ejemplo 8.3, tuvimos la posibilidad de realizar una deduccin
analtica, pero no siempre es el caso, y para que el lector lo compruebe en carne propia, lo
2
invitamos a determinar cules son los z0 cuyas rbitas no escapan bajo la funcin f (z) = z 1.
Una cuestin que debe haber dejado intrigado al lector es la determinacin de lo que signica
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.
[n] [1]
Veamos, por induccin en n 1, que f (0) 2 + n . Para n = 1, f (0) = |f (0)| =
2
|0
[n]+ c| = |c| = 2 + , vericndose la base del proceso inductivo. Ahora supongamos que
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|
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] 2
Veamos, por induccin en n 1, que f (z0 ) 1 + . Para n = 1, f (z0 ) = |z0 + c|
2 2 2
|z0 | |c| (1 + ) 2 = 1 + 2 + 2 = 2 + ( 1)( + 1) 2 1 + , vericndose
[n]
la base del proceso inductivo. Ahora supongamos que f (z0 ) 1 + n , y comprobemos la
aseveracin para n + 1. Tenemos que
[n+1] 2 2 2
f (z0 ) = f f [n] (z0 ) = f [n] (z0 ) + c f [n] (z0 ) |c| = f [n] (z0 ) |c|
(1 + n )2 |c| 1 + 2 n + 2n 2 = 1 + 2 ( n 1) + 2n 1 + n+1
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 innitos, 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 innitud 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 simplica la tarea
computacionalmente.)
Con esta discretizacin, hemos soslayado el problema del innito espacial, pues slo cal-
cularemos la rbita de una cantidad nita 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 innito temporal? Podemos jar 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 grca aproximada
del conjunto de Julia relleno asociado a un miembro de la familia cuadrtica cuyo parmetro c
sea de mdulo a lo sumo 2:
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 magnicacin. En la gura 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 .
150 8. DINMICA EN EL PLANO COMPLEJO: FRACTALES
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 funcin multiforme
2
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:
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: J es un polvo fractal si, y slo si, la rbita de 0 bajo la funcin
z 2 +c
z 2 + c escapa. Este hecho, cuya demostracin est fuera del alcance de estas notas, motiva la
siguiente denicin.
Figura 3.
1. Escoger una cantidad n de transformaciones contractivas del plano complejo (por ejem-
plo, transformaciones lineales de la forma az + b con |a| < 1), digamos w1 , w2 , . . . , wn . El
conjunto cuyos elementos son estas transformaciones se llama un sistema de funciones
iteradas, abreviado SFI.
2. Elegir cualquier conjunto compacto (es decir, cerrado y acotado) no vaco de nmeros
complejos, digamos B C. Tal B recibe el nombre de conjunto inicial, y podra ser,
por ejemplo, B = {0}.
3. A partir del SFI y del conjunto inicial, generar una sucesin B0 , B1 , B2 , . . . de subcon-
juntos del plano del siguiente modo:
B0 = B
Bk = w1 (Bk1 ) w2 (Bk1 ) wn (Bk1 ) (para k > 0)
Resulta que conforme k se hace cada vez ms grande, Bk se hace tanto ms parecido a un
determinado conjunto que tiene, en general, la caracterstica fractal de la autosimilaridad. Ese
conjunto lmite se denomina atractor del sistema de funciones iteradas, y tiene la sorprendente
caracterstica de que no depende del conjunto inicial del cual arranca el proceso iterativo.
Por ejemplo, para un SFI de tres transformaciones dadas por
z z+1 z+i
w1 (z) = 2
w2 (z) = 2
w3 (z) = 2
y conjunto inicial B0 = {i}, algunos elementos de la sucesin {Bk }kN se muestran en la gura
siguiente.
3. SISTEMAS DE FUNCIONES ITERADAS 153
B0 B4 B6 B8
3.1. Espacios mtricos. Un espacio mtrico es un par (X, d), donde X es un conjunto
de elementos que llamaremos puntos y d es una funcin de X X en R que cumple los siguientes
axiomas, para todos a, b, c pertenecientes a X:
1.d(a, b) 0
2.d(a, b) = 0 a = b
3. d(a, b) = d(b, a) (axioma de simetra).
4. d(a, b) d(a, c) + d(c, b) (desigualdad triangular).
Definicin 8.10. Sea {xn }nN una sucesin en el espacio mtrico (X, d).
1. Se dice que {xn }nN es una sucesin de Cauchy en X si
Definicin 8.11. Un espacio mtrico (X, d) se dice completo si toda sucesin de Cauchy
en X es una sucesin convergente en X.
Nos interesan las funciones que actan en un espacio mtrico, interpretndose que las mismas
mueven los elementos del espacio. De tales funciones, las que acercan entre s los puntos del
espacio constituyen una clase importante para la teora de los SFI.
Definicin 8.12. Sea (X, d) un espacio mtrico, y f una funcin de X en X. Se dice que
f es una transformacin contractiva en X (o una contraccin en X ) si existe un nmero
real s [0, 1) tal que
x1 , x2 X, d (f (x1 ), f (x2 )) s d(x1 , x2 )
Un tal s se llama un factor de contractividad para f .
154 8. DINMICA EN EL PLANO COMPLEJO: FRACTALES
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 joxf X , que adems satisface que
dp (z0 , B) = nf {|z z0 | : z B}
Por ejemplo, si z0 = 2i y B = {z C : |z| 1}, entonces dp (z0 , B) = 1, existiendo en este
caso un complejo z B tal que dp (z0 , B) = |z z0 | (z = i). Pero si tomramos z0 = 2i y
B = {z C : |z| < 1}, tendramos que dp (z0 , B) es tambin 1, pero ningn z B cumple que
dp (z0 , B) = |z z0 |.
Proposicin 8.15. Sea B compacto no vaco y z0 C. Entonces, existe z B tal que
dp (z0 , B) = |z z0 |.
Demostracin. Consideremos la funcin dada por f (z) = |z z0 |. Tenemos que f (B) =
{|z z0 | : z B} y que nf f (B) = dp (z0 , B). La funcin f es continua en C (teorema 3.32),
y, siendo B compacto, f (B) es tambin compacto (teorema 3.36), de donde nf f (B) f (B)
(puede deducirse de la proposicin 2.19), lo que implica que existe z B tal que f (z ) =
nf f (B), es decir, |z z0 | = dp (z0 , B).
El resultado anterior nos dice que si B es compacto, la distancia entre z0 y B se alcanza en
al menos un punto de B . Por eso, si nos restringimos a conjuntos compactos, el nmo invocado
en la denicin de distancia puede ser reemplazado por mnimo.
H = {B C : B es compacto y B 6= }
Antes de denir una distancia para H, deduciremos propiedades adicionales de dc .
Proposicin 8.22. A, B H, dc (A, B) R+
0.
a A, b B, c C, |a b| |a c| + |c b|
Luego,
a A, c C, dp (a, B) |a c| + dp (c, B)
Ahora sea a A. Elijamos c C tal que dp (a, C) = |a c | (proposicin 8.15). Tenemos
que
dp (a, B) |a c | + dp (c , B) = dp (a, C) + dp (c , B)
dp (a, C) + sup {dp (c, B) : c C} = dp (a, C) + dc (C, B)
Puesto que a es arbitrario en A, se tiene que
Ahora ya estamos en condiciones de denir una distancia entre elementos de H que capture
adecuadamente cun parecidas son dos guras de ese conjunto.
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.36), de donde w1 (B)
wn (B) es no vaco, y compacto pues es unin nita de conjuntos cerrados y acotados (teorema
2.10).
Teorema 8.33. Sea {w1 , . . . , wn } un sistema de funciones iteradas. Existe un nico conjun-
toA compacto no vaco, denominado el atractor del sistema, tal que para cualquier conjunto
B0 H, la sucesin {B0 , B1 , B2 , . . .} denida por Bk = w1 (Bk1 ) wn (Bk1 ) para todo
k > 0, converge a A en el espacio mtrico (H, h).
PROGRAMA ANALTICO Y RGIMEN DE REGULARIZACIN Y APROBACIN 159
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,
A H tal que W (A) = A, y lmk W [k] (B0 ) = A cualquiera sea B0 H.
existe un nico
Por construccin, la sucesin {B0 , B1 , B2 , . . .} cumple que su k -simo trmino (k > 0)
[k]
es Bk = W (Bk1 ), y de all que Bk = W (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
[6] Dettman, J.: APPLIED COMPLEX VARIABLES. Dover Publications, Inc., 1965.
[7] Devaney, R.: AN INTRODUCTION TO CHAOS, FRACTALS AND DYNAMICS. Addison Wesley,
1990.
[8] Hauser, A.: VARIABLE COMPLEJA. Fondo Educativo Interamericano S.A., 1973.
[10] Levinson, N.; Redheer, R.: CURSO DE VARIABLE COMPLEJA. Revert, 1981.
[11] Markushevich, A.: TEORA DE LAS FUNCIONES ANALTICAS Tomo I (2 ed.). MIR, 1978.
[12] Needham, T.: VISUAL COMPLEX ANALYSIS. Oxford University Press, 1997.
[13] Pennisi, L.: ELEMENTS OF COMPLEX VARIABLE. Holt, Rinehart y Wilson, 1963.
[16] Yazlle, J.; Egez, C.: COMPLEMENTOS DE ANLISIS (Apuntes de ctedra). Indito, 2006.
160