Universidad Nacional Autnoma de Mxico

F
Facultad de Estudios Superiores
(

E
ACATLAN

Acatln

VARIABLE COMPLEJA:
la derivada

UNIVERSIDAD NACIONAL AUTNOMA DE MXICO

Dr. Jos Narro Robles
Rector
Dr. Sergio Alcocer Martnez de Castro
Secretario General

VARIABLE COMPLEJA:
la derivada

Manuel Valadez Rodrguez

FACULTAD DE ESTUDIOS SUPERIORES ACATLN

Dr. J. Alejandro Salcedo Aquino
Director
Dr. Daro Rivera Vargas
Secretario General
Mtro. Adalberto Lpez Lpez
Secretario de Estudios Profesionales
Fs. Mat. Jorge Luis Surez Madariaga
Coordinador de Servicios Acadmicos
Mtra. Nora del Consuelo Goris Mayans
Jefa de la Divisin de Matemticas e Ingeniera
D.G. Vctor Hugo Huerta Gonzlez
Jefe de la Unidad de Servicios Editoriales

ACATIAN

UNIVERSIDAD NACIONAL AUTNOMA DE MXICO

FACULTAD DE ESTUDIOS SUPERIORES ACATLN

Variable compleja: la derivada

Manuel Valadez Rodrguez

A Margarita, Sandra, Alberto y Patito.

Primera edicin: 2010

Portada: D.G. Vctor Hugo Huerta Gonzlez

D.R. UNIVERSIDAD NACIONAL AUTNOMA DE MXICO

Ciudad Universitaria, Delegacin Coyoacn,
C. P. 04510, Mxico, Distrito Federal.
FACULTAD DE ESTUDIOS SUPERIORES ACATLN
Av. Alcanfores y San Juan Totoltepec, sin.
C. P. 53150, Naucalpan de Jurez, Estado de Mxico.
Unidad de Servicios Editoriales.

ISBN: 978-607-02-1918-4

Prohibida la reproduccin total o parcial

por cualquier medio sin la autorizacin escrita
del titular de los derechos patrimoniales.
Impreso y hecho en Mxico

Printed and made in Mexico

ndice general
PRLOGO........................................................................................... 5
1. LOS NUMEROS COMPLEJOS ............................................... 7
1.1. Definicin y propiedades fundamentales ...................................... 7
1.2. La desigualdad del tringulo ......................................................12
1.3. La forma polar. Potencias y races .............................................19
III

2. FUNCIONES DE UNA VARIABLE COMPLEJA .............. 31

2.1. Topologa Bsica ........................................................................31
2.2. Funciones Complejas .................................................................34
2.3. Lmites y Continuidad ................................................................43
2.4. La derivada de las funciones complejas ..................................... 58
2.5. Las ecuaciones de Cauchy-Riemann .......................................... 65

BIBLIOGRAFA ..............................................................................78
NDICE ALFABTICO .................................................................80

Prlogo

El material que se presenta aqu corresponde a, aproximadamente, el 60% del

contenido del programa de estudios de la materia de VARIABLE COMPLEJA que
se lleva en la carrera de MATEMTICAS APLICADAS Y COMPUTACIN (MAC),
de la FACULTAD DE ESTUDIOS SUPERIORES (FES) Acatln. En varias ocasiones
me toc a m impartir dicha materia.
Para elaborar las notas que me sirvieron de apoyo en el desarrollo del curso, recur r a textos de diferentes niveles de exposicin sobre el tema; todos ellos de excelentes
autores. Con el tiempo dichos textos me fueron dando un panorama que consider
propicio para ofrecer una propuesta personal. Debo reconocer, sin embargo, que resulta bastante complicado plantear esquemas muy distintos y, sobre todo, mejores que
los que ofrecen esos autores. La idea es, entonces, presentar un material que, al menos
en contenido, en orden y en nivel, resulte razonablemente apropiado para los alumnos
de MAC que cursan la materia. Sera un halago para m que esto se usara en otros
lugares.
La revisin del material para su publicacin, estuvo a cargo del Matemtico Patricio Paredes y del Ingeniero Domingo Vite, quienes son profesores de la FES Acatln.
Agradezco a ellos todas sus atenciones y, sobre todo, sus comentarios y sugerencias.
El hecho de que el texto lleve menos errores, es debido a ellos. Los que subsisten son,
por supuesto, de mi absoluta responsabilidad. Cabe mencionar que el profesor Vite
us estas notas, todava en manuscrito, cuando le toc impartir la materia en cuestin:
fue un detalle que le agradezco.
Con respecto a la presentacin del material creo que es de justicia citar lo siguiente: despus de que uno pone en juego todas sus habilidades tratando de que lo

plasmado en papel (manuscrito) sea entendible para los dems, cosa que a menudo no
se consigue, lo siguiente es dejar el trabajo en manos de expertos. As lo hice. Quiero
dejar constancia aqu, no solo de mi reconocimiento sino tambin de mi gratitud infinita a Sonia Vrtiz y Sandra Murillo, ambas alumnas de la carrera de Actuara, por
darle al material la elegante presentacin que ahora tiene. Sonia me acompa hasta el
final soportando todas mis necedades y aprensiones. Debo decir que ninguna de ellas
era experta en esto cuando empezamos a trabajar: ahora lo son ambas.
Otras personas colaboraron con nosotros a lo largo del proceso de aprendizaje y
durante el desarrollo del trabajo, proporcionandonos asesoras en el rea de cmputo:
siempre que les solicit apoyo acudieron amablemente a darnoslo. Estoy muy agradecido con Marcos Schtulmann y Csar Tort, estudiantes de la carrera de MAC, con
Sebastin Bejos egresado de la misma carrera y con Mayra Daz, profesora en la FES
Acatln. El seor Bejos aparte de habernos brindado el apoyo citado fue quin elabor
todas las figuras que aparecen en el texto: muchas gracias.

Captulo 1
LOS NMEROS COMPLEJOS

1.1. Definicin y propiedades fundamentales

Finalmente quiero referirme a una pequea parte del personal administrativo de

la FES: Maestra Nora Goris, Jefa de la Divisin de Matemticas e Ingeniera, Fis.
Mat. Jorge L. Surez Madariaga, Coordinador de Servicios Acadmicos y D.G. Victor Hugo Huerta, Jefe de la Unidad de Servicios Editoriales; sin ustedes en la parte
administrativa, estoy seguro de que las cosas habran sido ms complicadas: gracias.

No obstante que el conjunto de los nmeros reales cubre gran parte de las necesidades tericas y prcticas del lgebra y el anlisis, no es suficiente para resolver cier to tipo de problemas, an en casos relativamente simples con los que seguramente
la mayora de los lectores ya se ha enfrentado. El ejemplo clsico lo representa la
ecuacin x2 + 1 = 0, la cual no admite solucin real. Resulta entonces necesario extender el concepto de nmero de tal forma que se puedan resolver estos problemas.
Para ello se recurre a los llamados nmeros complejos.
Existen diversas maneras de introducir el concepto de nmero complejo, aqu lo
haremos usando parejas ordenadas de nmeros reales.

FES Acatln, Octubre del 2009.

Definicin 1.1. Se definen los nmeros complejos como el conjunto de las parejas
ordenadas (x, y) de nmeros reales y se establecen para ellos las operaciones de suma y
producto como sigue: si Zi = (XI ,Y 1 ) y Z2 = (x2,y2) son nmeros complejos, entonces

Zi +Z2 = ( x +X2,y1 +y2),

ZIZ2 = (XI x2 - yly2,xIy2+x2yl).

A la primera componente de la pareja ordenada z = (x,y) se le denomina parte real

de z y se le denota por Rez y a la segunda componente se le conoce como parte
6

imaginaria de z y se le escribe como Imz; en smbolos

Rez=x,

Imz=y.

(1.2)

Se emplea el smbolo C para denotar el conjunto de los nmeros complejos junto con
las operaciones definidas en (1.1).
En cuanto a la relacin de igualdad entre los elementos de C, de la definicin se
deduce que dos nmeros complejos Zi = ( x,y) y Z2 = (x2,y2) son iguales si, y slo
si, coinciden sus partes reales y sus partes imaginarias; es decir,
Zi =Z2

x1 = X2,

Yi = Y2

(1.3)

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

x+y,
(x,0)(y,0) = (y,0) *xy.
De las definiciones propuestas para operar con los elementos de C, queda claro
que todo nmero complejo z = (x, y) se puede escribir como
(X, Y) = (x,0)+(O,1)(y,0).

(1.7)

Definicin 1.2. Al nmero complejo (0,1) se le denota por i y se le denomina unidad

Es relativamente sencillo probar esta afirmacin ya que la mayor parte de las

propiedades de campo de C son consecuencia de las propiedades del campo de los
nmeros reales. La prueba se deja como ejercicio. En lo sucesivo emplearemos el
smbolo C para hacer referencia tanto al conjunto como al campo de los nmeros
complejos.

Como en el caso de los hmeros reales, en el campo C se definen la diferencia y

el cociente en trminos de los inversos aditivo y multiplicativo, respectivamente. As,
dados Zi y Z2 en C, se establece
Zi Z2 = z
Si Z2

tl

si, y slo si

Proposicin 1.1. C es un campo.

Y,

reales, existe una pareja ordenada (x, 0), nica, asociada con l. Por otra parte, de las
definiciones de suma y producto de complejos especificadas en (1. l), tenemos que si
(x, 0) y (y, 0) son elementos de C, entonces

+ ( z2)

(1.4)

no es el nmero complejo cero,

z!
Z2

Z1Z2

-I

( 1.5)

Proposicin 1.2. El subconjunto de C formado por las parejas ordenadas de la forma

(x, 0) es isomorfo al conjunto de los nmeros reales; esto es, la asociacin

(x,0)<+x,

(1.6)

es un isomorfismo.
Es claro que la correspondencia propuesta en (1.6) es 1 a 1, ya que, dado z = (x, 0)
en C, existe un nico nmero real x que le corresponde, e inversamente, dado x en los

imaginaria y a los elementos de C de la forma (O,y) se les conoce como nmeros

imaginarios puros.

Si se multiplica el nmero (0,1) por s mismo, resulta (0, 1)(0, 1) = (-1,0), de

manera que, en trminos del isomorfismo planteado en la proposicin 1.2, nos queda
= (-1,0) +-* 1, que es precisamente la propiedad que se pide para el nmero
complejo i.
En cuanto a la manipulacin algebraica, resulta conveniente escribir el nmero
complejo z = (x, y) como x + iy. Esta representacin de z es sugerida por la igualdad (1.7), en donde vemos que dicho nmero se puede escribir en trminos de los
nmeros reales que lo identifican. En esta nueva representacin, las operaciones de
suma y producto entre los elementos de C pueden ser manejadas como las operaciones correspondientes con los nmeros reales, debiendo escribir un 1 en aquellas
partes en que aparezca el cuadrado de la unidad imaginaria. Obviamente, si z = x + iy
es un nmero complejo, entonces Rez = x e Imz = y.
En la representacin propuesta, z es un nmero imaginario puro si, y slo si z = iy,
con y real.
Ejemplo 1.1. Dados Zi = XI + iyi y Z2 = X2 + iy2, tenemos
Zi +Z2 =
ZIZ2 =

(x1

+x2)

+i(y

+y2),

(xJx2yly2)+i(xIy2+x2yI).
9

Aplicando las propiedades establecidas en el ejemplo anterior, se obtiene

Si en (1.5) Zi = 1 +Oi = 1, nos queda

1
(1.8)

= 1
z2
Z2

Ejemplo 1.2. Demuestre que si Zi y Z2 son nmeros complejos diferentes de cero,

1 1
T'(2+i)(1-3i)

11_li

1+il

1,

Ejemplo 1.4. Demuestre que si z es un elemento de C, entonces, z = (-1 )z.

En virtud de que C es un campo, para cualquier nmero complejo z se tiene

entonces
(z1z2

(1.9)

' = zj'z,

y que, adems,

0 = Oz = (1-1)z=z+(l)z.
Sumando z a ambos lados se llega de inmediato a la igualdad propuesta.

(1.10)
ZIZ2

Zi Z2

Para probar (1.9) tomamos en cuenta que C es un campo y que, por lo tanto, se
verifican las leyes conmutativa y asociativa entre sus elementos, adems, dado que Zi
Y Z2 se proponen distintos de cero, tenemos que existen elementos z1 1 y z 2 1 no nulos
enC, tales que ziz' = Z2Z2 = 1.
De esta forma,
1 = ( z1z')(z2z') = (Z1Z2)(z ' Z ' ),
y de aqu que (zlz2) ' = z'z'. Para justificar la igualdad (1.10) aplicamos (1.8) y
(1.9). Nos queda

Ejercicios 1.1.

1. Pruebe que el conjunto de los nmeros complejos, considerados stos como

parejas ordenadas de nmeros reales, junto con las operaciones de suma y producto definidas en (1. l), es un campo.
2. Pruebe las igualdades (1.11) y (1.12).
3. Encuentre los nmeros complejos z = x + iy que satisfacen las igualdades siguientes
(a)

1
1 1
(Z] Z2) =z1 z2 =--,
Z1 Z2

Z1Z2

Z1 + Z2 ++Zn
z

Z3Z4

Z3 Z4

(3 2i)z = 1 + 2i,

1
(a) z= 23 ,

( b) z

(1 + ib)z = 1 - ib.

l+i
-1--- ,

1+2i
(c) z= 3 i

5. Exprese en la forma x + iy el producto zlz2 cuando zi = (1 + i)/(2 - i) y Z2 =

(1 +3i)/(3+i).

(1.12)

7. Sean Zi y Z2 nmeros complejos tales que Zi + Z2 y z1Z2 son, ambos, nmeros

reales negativos. Pruebe que Zi y Z2 deben ser reales.

Ejemplo 1.3. Exprese en la forma x + iy el producto

1
1
2+i 1 3i
10

(c)

6. Comprube que los nmeros complejos Zi = 1 + i y Z2 = 1 - i satisfacen la

ecuacin z2 - 2z + 2 = 0.

Y, Si Z3 y Z4 no son cero, se cumple

ZIZ2 - Z1 Z2

(b)

4. Obtenga las partes real e imaginaria del nmero complejo z, cuando

como se quera probar.

Otras propiedades simples pero importantes de los nmeros complejos, son las
siguientes: si Z,Zi ..... Z son elementos de C y si z 0, entonces,
Z1+Z2++Zn

(1 - i)z = 1,

11

Figura 1.1:

1.2.

La desigualdad del tringulo

La definicin de nmero complejo como pareja ordenada de nmeros reales sugiere la posibilidad de representar los elementos de C mediante puntos en el plano. Se
proponen dos ejes mutuamente perpendiculares x y y y se marca sobre cada uno de
ellos una unidad de distancia a partir del origen, como se indica en la figura (1.1).
Se conviene en llamarle al eje horizontal eje real y al vertical eje imaginario. El
nmero complejo z = x + iy se representa, geomtricamente, por un radio vector que
parte del origen y llega al punto (x,y) del plano, como se ve en la figura mencionada,
donde se ha representado el nmero 1 + 2i. En este contexto, al plano xy se le denomina plano complejo o plano z.
La representacin geomtrica de la suma de nmeros complejos coincide con la
suma vectorial en el espacio IR 2 . Por ejemplo, la suma de los nmeros 1 + 2i y 3 + i
queda representada por el radio vector que va del origen al punto (4,3), como se
muestra en la figura (1.2).
Los nmeros reales quedan representados en el plano complejo por radio vectores
sobre el eje x y los imaginarios puros, por radio vectores sobre el eje y. Posteriormente
se dar una interpretacin geomtrica del producto de nmeros complejos.
Debe observarse que, an cuando existen semejanzas entre el plano complejo y el
12

Figura 1.2:
plano cartesiano IR 2 stos no son lo mismo. Por ejemplo, en el plano cartesiano no se
define un producto de parejas ordenadas.
Definicin 1.3. Dado el nmero complejo z = x + iy, se define el mdulo o valor
absoluto de z, denotado por Izi, como el nmero real no negativo.
IzI=V'x2 +y2 .

(1.13)

En estos trminos, queda claro que Izi ~ O y Izi = O si, y slo si z = O. Por otra
parte, considerando z como la pareja ordenada (x,y) ,el lado derecho de la igualdad
(1.13) representara la magnitud del vector correspondiente.
An cuando en general la desigualdad Zi <Z2 para nmeros complejos Zi y Z2
carece de sentido (C no es un campo ordenado), la expresin Izi 1 < 121 si lo tiene.
Geomtricamente esta ltima desigualdad significa que el punto del plano, correspondiente al nmero Zi se encuentra ms cerca del origen que el punto que corresponde
al nmero Z2.
Definicin 1.4. Dado un elemento z = x + iy de C, se define un elemento Z en
llamado complejo conjugado de z, mediante la expresin Z = x iy.
-

Geomtricamente, el conjugado de un nmero complejo z representa la reflexin

de z en el eje real, ya que si z es la pareja ordenada (x,y), Z quedar representado por
la pareja ordenada (x, y). En la figura (1.3) se muestran el nmero z y su conjugado.
13

Para probar la expresin (1.15) se emplean tambin propiedades ya establecidas

como la (1.12) y la igualdad
(1.16)
z1 2 =zz.
Resulta de aqu,

zi
( Z2

1
1
( Z1 ~l
Z2) (_Z1Z2 = Z1Z2
1Z21
12
-

ZIZ2

Zi

=
Z2
Z2 Z2

Otra expresin que es directa a partir de (1.16) es

Figura 1.3:

ya que, de la expresin referida se tiene I 2

lados se llega a (1.17).

Se verifica trivialmente que el complejo conjugado de Z es z; esto es, = z y

que z si, y slo si lmz = O. Adems, se establece la relacin Iz 2 = z. Esto
ltimo se comprueba fcilmente tomando z = x + iy, ya que, de esta forma, zZ =
(x + y) (X iy) = x2 +y2 = z12. En seguida se dan otras propiedades de los conjugados de nmeros complejos.
-

(1.17)

IzI,
= =

zz = Iz 2 , Sacando raz a ambos

Ejemplo 1.6. Si zo = x + yo es un nmero complejo fijo, la igualdad Iz

representa la circunferencia de radio R con centro en el punto zo.

Zo 1 = R

Si z = x+ y, se tiene para este caso que Iz z012 = (xxo) 2 + (y yo) 2 . por tanto,
la expresin Iz zo 1 = R es equivalente a
-

Proposicin 1.3. Si z Z2,

,

(xxo) 2 +(yyo) 2 =R2 ,

son elementos de C, entonces

que

(1.14)

Z1+Z2++Zn++"+,
Z1Z2Zn=j2 ..

es la ecuacin de una circunferencia con las caractersticas sealadas.

Las relaciones que se dan a continuacin corresponden a propiedades muy sencillas pero importantes de los nmeros complejos.
Proposicin 1.4. Para nmeros complejos cualesquiera Zi ,Z2,.. _,Zn,
z,, se cumple

Ejemplo 1.5. Pruebe que para nmeros complejos cualesquiera z1 y Z2, se cumple

Z1Z2 .. Zn I
.

Zi Z2 =Zi

y que, Si Z2

adems Si Z2

(1.15)
Z2

Para probar la primera de estas igualdades empleamos el resultado obtenido en el

ejemplo 1.4 y las propiedades sealadas en la proposicin 1.3. Se tiene entonces que
Z1 Z2 =

+( z2) =

+( l)Z2

14

+ ( 1 )f2

= fl

-.

Iz1lIz2IIzflI;

(1.18)

O, se verifica

O, entonces

zi
Z2 )
(T

Zi

Z2

lz1
Z21

Aplicando (1.16), resulta

.

IZ1Z2 .. ZnI 2 =
=

(Z1Z2Zn)(Z1Z2Zn)
(ZIf1)(Z22) ... (Znn)

(lzlIIz2IIz3I ... IznD2.

15

(1.19)

Sacando raz a ambos lados se llega a (1.18). Para la igualdad (1.19) tenemos que
2
/
Zi( Zi\
\
Z2
Z2 (Z1
Z2

-/
ZiZi
( izil
Z2Z2
1 Z21

izi +Z2 12 = izii 2 +2Re(zi) + 1z2 i 2

1z1i 2 + 2 IzIliz2i+iz2i 2

Nuevamente, al extraer raz a ambos lados, se llega al resultado deseado.

=
quedando de aqu que

Una consecuencia inmediata de (1.18) es la igualdad

zi

(1.20)

= Izi,

la cual se verifica para todo entero positivo n.

Proposicin 1.5. Si z es un nmero complejo, se verifica
z+2

zZ

Imz= --,

Rez= ---,

(1.21)

adems, se cumplen tambin las desigualdades

Rez < iRezi

!mz:5 Imz1

izi,

Iz

(1.22)

al

lZI+Z2ilZli+iZ2L

izil =

izi +Z2Z21

izIl Iz2iiZ1+Z2i.

Izi

(1.25)

(1.26)

Evidentemente, el desarrollo propuesto para Zi en (1.25) se puede efectuar tambin

),ira Z2, en cuyo caso se llega a que

(izli iz2i)

izi +Z21.

I)c esta expresin y de (1.26) se deduce que

Teorema 1.1. Para nmeros complejos cualesquiera Zi y Z2, se cumple

1 IZIIiZ211

iZi +z21+1z21;

por tanto,

La prueba de estas relaciones es muy sencilla; por ejemplo, la primera desigualdad

y/x2 + y 2 , para todo nmero real y.

(1.24)

Para probar la parte izquierda de la desigualdad (1.23) tenemos en cuenta que,

segn (1.24)

(1.22) es una consencuencia del hecho de que si x es un nmero real, entonces, x

lxi

(iz11 +iz21) 2,

+Z2i

iZii+iZ2i.

(1.23)

Probaremos primero la desigualdad derecha. Haciendo uso de (1.16) tenemos que

1 iZl1 iZ21IIZI+Z2I.

Las expresiones (1.24) y (1.27) prueban el teorema.

Tomando en cuenta el hecho de que para todo nmero complejo z se cumple que
zi
1 = z, queda claro que (1.23) es equivalente a

Izi +z21 2 = (zi +Z2)(Z1 +Z2)

iiZiiiZ2ii

= (z1+z2)(+)
= Zi+Z1Z2+Z2+Z2Z2
= iz1l 2 +(zi+)+lz2i 2 .

(1.27)

izi

Z21

iZIi+iZ2i.

Definicin 1.5. A la expresin (1.24) se le conoce como desigualdad del tringulo y puede ser generalizada a cualquier coleccin de nmeros complejos; esto es, si
i'I,z2,. . . Zn son elementos de C, entonces,
,

Ahora, de la primera igualdad (1.21) tenemos que z +

= 2Re(zi )'
de (1.22)y (1.18) que Re(zi) iziI = Iziiiz2i.De esta forma,
16

ZI+Z2+"+ZniiZii+iZ2I+"+iZni.
17

(1.28)

3. Sea a un nmero real positivo. Describa, geomtricamente, la regin del plano

complejo formada por los puntos z que satisfacen la expresin Rezl + IImzI a.
4. Describa, geomtricamente, la regin del plano complejo que consiste de todos
los puntos z para los cuales I Z14 < 2a2Re(z 2 ).
5. Compruebe que 1(2+5)(/ i)I

vI 2z+ 5 I.

6. En cada uno de los siguientes casos, haga una grfica del conjunto de puntos z
que satisfacen la condicin especificada.
(a) Iz 1 + i = 1,
(b) z + u
3,
(c) Re (z - i) = 2,

Figura 1.4:

(d)
Ejemplo 1.7. Demuestre que si z es un elemento de C tal que Izl = 2, entonces

1
1
<
-3
z4 -4z2 +3

(1.29)

12ziI=4.

7. Pruebe que los puntos z que satisfacen la relacin z 2 +

todos sobre la hiprbola cuya ecuacin es x2 y2 = 1.

= 2

se encuentran

8. Pruebe que la igualdad Iz 4i1 = Iz + 4u1 corresponde a la ecuacin de una elipse

con focos en los puntos (0, 4) y (0, 4).
-

Para el polinomio del denominador tenemos

9. Pruebe que la igualdad I z - 11 = Iz + il corresponde a la ecuacin de una recta

de pendiente 1 que pasa por el origen.

z4 -4z2 +3=(z4 -4z2 +4)-1=(z2 -2) 2 -1=(z2 -3)(z2 l).

Tomando en cuenta que z se encuentra sobre el crculo Izi = 2, usando (1.27) nos
queda 1z4 4z2 +31 = 1z2 -311z2 11 ~ 3, de donde se sigue (1.29).
Ejemplo 1.8. Describa geometricamente el conjunto de puntos determinado por la

10. Demuestre que Si Z3 y Z4 son nmeros complejos tales que IZ31

para cualesquiera Zi y Z2 complejos se verifica

relacin.

Z1 +Z2 <

IIm(i)I <2.

(1.30)

Haciendo z = x + iy nos queda que Z - i = x - i(y + 1), de manera que, segn

la desigualdad propuesta nos queda IIm(! - i) 1 = y + 11 <2. Vemos de aqu que el
conjunto de puntos descrito por (1.30) corresponde a la franja horizontal del plano
complejo acotada superiormente por la recta y = 1 e inferiormente por la recta y = 3,
sin incluir dichas rectas. En la figura (1.4) se muestra el conjunto mencionado.
Ejercicios 1.2.

1. Pruebe las igualdades (1.14) y (1.21).

2. Demuestre que v'izI ~: Rez + IImzI, para todo nmero complejo z.
18

Z3 +Z4 -

1.3.

z41, entonces,

Iz1l+1z21
11z31-1z411

La forma polar. Potencias y races.

La transformacin en el plano de coordenadas cartesianas rectangulares a coordenadas polares y la definicin analtica de las funciones seno y coseno, son dos recursos
que facilitan, en gran medida, los clculos relativos a potencias y races de nmeros
complejos.
19

Un punto (x, y) en el plano cartesiano se puede expresar en coordenadas polares

(r, 6) usando la transformacin
(1.31)

y=rsen,

x= reos ,

la cual, mediante una eleccin adecuada de los valores de r y 6, admite la transformacin inversa
______
r=:j/+y2 ,
(1.32)
6=tan'().
Dado el nmero complejo z = x + iy, en trminos de la transformacin (1.31),
podemos expresarlo como
(1.33)
z= r(cos+isenO).
Ahora, puesto que el seno y el coseno son funciones peridicas de perodo 2ir, queda
claro que en la representacin anterior el nmero z tiene asociada una cantidad infinita
de expresiones; a saber,
z = r[cos(8 + 2k7r) + isen(6 + 2kiv)],

k = O,1,2,...

(1.34)

Definicin 1.6. A la expresin dada para z en (1.33) se le denominaforina polar de

z y al ngulo O que se mide en radianes a partir de la parte positiva del eje x se le da

el nombre de argumento de z y se le denota por argz. Al valor de argz que satisface
ir <argz < ir se le conoce como valor principal de argz y se le escribe como Argz.
Es pertinente hacer algunas observaciones sobre los conceptos definidos aqu: en
la representacin polar de z el nmero r coincide con el mdulo de z, adems, de la
segunda igualdad (1.32) se puede ver que si z = O, el ngulo 6 queda indeterminado.
Se conviene entonces en que se emplear la forma (1.33) para expresar un nmero
complejo z, siempre y cuando ste no sea cero.
Ejemplo 1.9. Exprese en forma polar el nmero complejo 1 +

Para este caso tenemos que r = Izi = 2 y, dado que O = tan

(1.33) nos queda

(-v') =

de

Teorema 1.2. Sean Zi y Z2 nmeros complejos diferentes de cero. Entonces,

Bel

sen(a13) = senacos fl cosasenj3,

cos(aJ3) = cosacosfl senasenfi,
y escribiendo ri = Izi 1' r2 = z21 , 61 = argzi y 62 = argZ2, encontramos
ZIZ2 = [ri(cosi + isenoi)1[r2(cos62 + isen62)]
= rir2[(cosOl cos2 - seni sen2) + i(cosj sen2 + senj cos62)]
= rIr2[cos(61+62)+isen(01+02)],
con lo cual queda probada la igualdad (1.35).
Como consecuencia de que la representacin polar de un nmero complejo no es
nica, queda claro que si 01 = argzl y 02 = argz2. entonces
arg(z1z2)=01+02+2k7r; k=O,1,2,...; (1.36)
es decir, la suma 61 + 02 es solo un argumento del producto Z1Z2. Por otra parte,
como se ver en el siguiente ejemplo, la igualdad no se cumple en general, cuando se
sustituye argz por Argz.
Ejemplo 1.10. Determine el valor de Arg (z Z2), cuando zi = 1 y Z2 = i.

Dado que Z1Z2 = i, tenemos que Arg(zlz2) = Arg(i) = ir/2, mientras que
Argzi + Argz2 = ir + 7r/2 = 37r/2, cantidad que no cumple con el hecho de que
ir <Argzi +Argz2 ir. Lgicamente, si en lugar de Argzi y Argz2 se trabaja con
argzi yargz2, la expresin (1.35) se satisface ya que arg (zlz2) = arg(i) = 3ir12 =
argzj +argz2.
El producto de un nmero complejo z por la unidad imaginaria i, se puede interpretar geomtricamente como una rotacin de ir/2 radianes del radiovector z en el
sentido positivo; sto es, en sentido contrario al de las manecillas del reloj. Esto es
inmediato si se expresa i en forma polar

27r
/ 2ir
z=2cos--+isen---

arg(zIz2) =argzi +argz2.

Usando las identidades

(1.35)

ir

= cos + isen

21

ir

si z = r(cose+isene),de (1.35) nos queda

iz = r [cos (e +

+ isen (e +

Teorema 1.3. Si z1 = ri(cosei +isenei) yz2 = r2(cose2+isen02), entonces

r1
- - [cos(Oi -e2)+isen(e1 e 2 )]
Z2 r
-

(1.37)

y, por tanto
arg

ZI \

(1.38)
J =argzl argz2
( Z2 J
La prueba de este enunciado es totalmente semejante a la realizada para probar el
teorema 1.2.
En trminos de coordenadas polares resulta muy sencilla la interpretacin geomtrica del producto de nmeros complejos. Sean Zi = rl (cose1 + isene j ) y Z2 =
r2(cose2 + isen62) dos elementos de C. Para el producto de Zi y Z2 nos queda

Definicin 1.7. A la expresin dada aqu se le denominaforma exponencial de z.

ZIZ2 = rir2[cos(e1 + e2 ) + isen(01 + e2)].

Vemos as que el mdulo del producto Z1Z2 es Izi 1 veces el mdulo de Z2 o equivalentemente, IZ21 veces el mdulo de Zi y el argumento de Zi Z2 es el argumento de Zi al
que se la han sumado argz2 radianes. En la figura 1.5 se esquematizan estos conceptos.
Como se dijo al principio de esta seccin, otra representacin til en el manejo
algebraico de los nmeros complejos es la llamadaforma exponencial, que se obtiene
de las definiciones analticas de las funciones seno y coseno. Estas se establecen a
travs de las igualdades
cose=

e +e 9

sen=

et& - e0

(1.39)

A partir de ellas se obtienen lo que se conoce como frmula de Euler

=cose+isenO.
(1.40)
En trminos de esta igualdad, el nmero complejo z = r(cos e + isen ) se puede
escribir en una forma ms compacta como
e'6

z=re'6

22

Figura 1.5:

(1.41)

Usando la igualdad (1.40) se verifica fcilmente que

e i0l e 02 = (61+82),

adems, escribiendo -O en vez de e, se obtiene e() = e 6 y de aqu que e 6 e_ 6 = 1,

y por tanto
1
(1.42)
=e0
e'0

Con respecto alas representaciones polar r(cos e + isen e) y exponencial re", del
nmero complejo z, tenemos que Z = r(cos O - isen O) = re - o, adems si z 0, el
inverso multiplicativo de z queda, en la forma exponencial, como
1
1
1 j
1
= -e
Z = -=
r
re'
Z
La forma exponencial para el producto y el cociente de dos nmeros complejos Zi y
Z2 queda como
r1 i
! =
Z1Z2 = rl r2ei ( 01 +82 ),
Z2 r2
23

donde se han tomado Zi = ri e'' y Z2 = r2e'. Se debe aclarar tambin que en virtud
de (1.34), el nmero complejo z dado en (1.41) tiene la representacin general

de manera que tomando c y co, como en (1.45) se llega a que

wk=cco;

Teorema 1.4. Sea zo un nmero complejo dado, con iz o = ro y argzo = 00 y sea n

cualquier entero positivo. Entonces, la ecuacin
(1.43)

zn = zo

2plr
2qr
=
+ 2sjr,
n
n

k = m,m + 1 ..... m + n - 1,

(1.44)

donde m es cualquier entero y

c=.i'exp(

27ri)

con=exp
(

( 1 .45)

fl

Para probar este enunciado se propone z = re'9 , con lo que (1.43) queda como

donde s es un entero (debe notarse que ip - q

n - 1). Ahora, esta igualdad implica
que p = q + ns, pero, por las condiciones impuestas sobre p y q tenemos que s = O o,
de manera equivalente, que p = q, lo cual es una contradiccin. Luego, si p qL q, w p no
puede ser igual a W q probndose con esto que existen al menos n nmeros complejos
distintos wk que satisfacen la igualdad w = zo.
Finalmente, si s y p son enteros y m < p m + n - 1, resulta
wp+ns

(re 9 )" = r"e"9 = re00

Evidentemente, esta igualdad se va a verificar siempre que r" = ro y nO = O +2kr
(k = O, l, 2,...) o, equivalentemente, cuando
r=j,

0=00 2k7r;

exp [ (OO+2k1;
n

(O + 2k7 1 =
n

k=O,l,2,...

/ jOo \

/ 2k7ri \

\fl 1

\flj

exp (

) exp

12iri1/c
r
= Yexp()lexp(--)l
\flJ]
\ n !L
24

= cco,o),

= exp(27ris) = cos(2ns) + isen(2rs) = 1;

es decir,
= w y de aqu que existen a lo ms n enteros p tales que w = Zo. Se
concluye entonces que existen exactamente n nmeros complejos distintos w tales
que Wpn = zo, quedando con ello probado el teorema.
(1.46)

resuelven la ecuacin. Ahora, respecto al miembro derecho de (1.46), tenemos que

;Ir-o- exp [

= CW,+

pero
ONIs = [exp

k=O,1,2,...

Se sigue de aqu que los nmeros

wk

.....

como se propone en el enunciado.

Para probar que son exactamente n soluciones distintas wk, supngase que m es un
entero cualquiera y que y q son enteros tales que
q y m < p, q m+n 1. Si
Wp = W q , entonces, de (1.44) tenemos que o =
y, por tanto

tiene exactamente n soluciones distintas dadas por

Wk = C)

k=O,1,2

k=O,l,2,...

z=rexp[i(O+2kn)],

Definicin 1.8. A los nmeros complejos wk que aparecen en (1.44) se les conoce
como las n races n-simas de zo y, en dicha igualdad, se acostumbra a tomar k =
O,1,...,nl; esto es, m=O.

Corolario 1.1. Los nmeros complejos

den a las n races n-simas de la unidad.

(k = m,m + 1

.....

m + n - 1) correspon-

Esto es evidente si se toma en (1.43) zo = 1, ya que en tal caso nos queda

y Oo = O, siguindose de aqu que wk =
25

r0

=1

Ejemplo 1.11. Determine las soluciones de la ecuacin z 3 = -8i.

Para este caso tenemos que ro = 8 y 00 = 37r/2, de manera que, segn (1.45), c
y co3 quedan dados por
c=2exp(f) =2i,
co3=exP(_) =-(1-iV').
De la segunda de estas igualdades, encontramos
=-(1-i\./),

C0_-(1

+is./),

(1.47)

resultando de aqu que las tres races cbicas de -8i son

w0=cw=2i,

wi=cco31

=-V-i,

Figura 1.6:
w2=cc0=V'-i

En referencia a los nmeros (3k dados en (1.47), estos corresponden a las tres races
cbicas de la unidad. En la figura (1.6a) se muestran, grficamente, los nmeros complejos 0), (31 y w.
Ejemplo 1.12. Calcule las 4 races cuartas de la unidad.

De acuerdo con la segunda igualdad (1.45), dichas races estn dadas por
k

(1)4

/kri'\

k=O,1,2,3.

As, sustituyendo los valores de k, encontramos

040

= exp

(04

(2ri\

Como se puede apreciar en esta figura, las n races n-simas de un nmero complejo Zo = roe , geomtricamente respresentan los vrtices de un n-gono regular
inscrito en un crculo de radio
Ejemplo 1.13. Encuentre todos los nmeros complejos z tales que z4 = - 1 +

se tiene entonces que ro = 2 y Oo = tan- '(--'3_) = 22v/3.

Sea z0 = - 1 +
Luego, usando la expresin (1.45) nos queda
c=exp() = ___

= e = 1,
JV

= cos + iSen

2V

=exp(iri) =cos2r+isen2v= -1,

042

(04

De esta forma, las races cuartas de 1 son 1, i, -1 y -i. Dichas races estn representadas grficamente en la figura (1.6b).

Por otra parte, como se vi en el ejemplo anterior, las cuatro races cuartas de la unidad
son 1 y i, de manera que las cuatro races cuartas del nmero -1 + quedan
como
(+i), (l-i\).

37ri'\
32v .32v
=eXP_ - ) =cos - -+isen
(

26

27

Ejercicios 1.3.

9. Suponga que los puntos Zi ,Z2

Zn se encuentran todos a un mismo lado de
una recta que pasa por el origen del plano complejo. Demuestre que
z, estn situados del mismo lado de dicha recta,
(a) Los puntos z 'z2 1
indicando de que recta se trata.
.....

1. Encuentre un valor de argz cuando

. . . ,

(a) z=

(b)

z= 22i'

(c) z = ()6

(b)

2. Exprese en la forma x + iy el nmero complejo z, cuando:

(a) z = (-1 - i) 36 ,

(b) z=(-1+ )"

10. Pruebe que para nmeros complejos cualesquiera z ,Z2,. . . , Zn se cumple que
arg(zlz2 zn) =argzl +argz2++argzn
...

3. Resuelva la ecuacin Z = z z, donde n es un entero no negativo.

4. Pruebe que si c g 1 es cualquier raz n-sima de la unidad, entonces, 1 + c +
5. Use el principio de induccin para probar que el teorema del binomio
(a+b)'

= kE

()an _'b".

se sigue cumpliendo cuando a y b son nmeros complejos.

6. Determine todos los valores de z para los cuales
(a) z 3 = 1,

(b)
(e) z 5

z4

= 1,

= 4 + 3i,

(c) z 5 = 1,

(d) z6 = 8,

(f) z2 = 3 + 4i.

7. Demuestre que si a es un nmero real tal que a < 1, entonces

(a) Eakcoskx=
k=O

(b)

1 - acosx
a2-2acosx+l'

a senx
k=O aksenkx= a2-2acosx+1

8. Sean zi, Z2 y Z3 los vrtices de un tringulo en el plano complejo y sean al, a

y a3 nmeros reales no negativos tales que al + a2 + a3 = 1. Demuestre que
el punto z = alzl + a2z2 + a3z3 est en el interior o en la frontera de dicho
tringulo y recprocamente.
28

wt

Captulo 2
FUNCIONES DE UNA VARIABLE COMPLEJA

2.1. Topologa Bsica

Definicin 2.1. Sea Zo un nmero complejo dado y sea e cualquier nmero positivo.
Entonces, al conjunto de puntos y definido por
V = { z/Izzol <e}'
se le denomina E-entorno del punto Zo y se dice que el conjunto V es un E-entorno
punteado si
V = {z/O < 1zzol <E}.
Se puede verificar fcilmente que el E-entorno de un punto Zo es un disco de radio
E con centro en zo. Si el E-entorno es punteado, el conjunto es el mismo que el anterior

al que se le suprime el punto zo.

Definicin 2.2. Dado un conjunto S de nmeros complejos y un punto zo de S, decimos que zo es un punto interior de S si existe algn E-entorno V de zo cuyos puntos
pertenecen todos a S y se llama a zo punto exterior de S si existe algn E-entorno V de
Zo que no contiene puntos de S. Si zo no es de ninguno de los dos tipos mencionados,
diremos que Zo es un punto frontera de S. Al conjunto de todos los puntos frontera de
un conjunto S se le denomina la frontera de S.
Ejemplo 2.1. Sea Zo = xO + yo un nmero complejo fijo y sea S el conjunto de
nmeros complejos especificado por

S={z=x+iy/Izzol <r;xxo}.
del

31

Es evidente la existencia de conjuntos que nos son ni abiertos ni cerrados; el conjunto S' del ejemplo 2.1 tiene esta caracterstica.
Definicin 2.4. Un conjunto S se llama acotado si existe un nmero positivo R de tal

forma que todo punto de S es un punto interior del conjunto

C = { z/ Iz1 < R},

si no existe tal R, decimos que S es no acotado.

Ejemplo 2.3. El conjunto de los puntos z tales que Rez> 0 es no acotado mientras

que el conjunto
S={z=x+iy/3x+4y< 12;x>0,y>0},

Figura 2.1:
Entonces, la frontera de S est constituida por la cincunferencia (x - xo ) 2+ (y - yo) 2 =
r2 y el segmento de recta x = xo, yo - r <y < yo + r. El conjunto S y su frontera se
muestran en la figura 2.1. Por supuesto, la frontera del conjunto

es acotado. En este caso se puede elegir, por ejemplo, R = 5.

Definicin 2.5. Un punto zO se llama punto de acumulacin de un conjunto 5 si todo
entorno punteado de Zo contienen al menos un punto de S.
Ejemplo 2.4. En el conjunto
(

es la misma que la del conjunto S.

Ejemplo 2.2. Determine la frontera del conjunto

S=jzn /zn =;n=123

S' ={z=x+iy/Izzol <r;xXo},

} 1

ci nico punto de acumulacin es z = 0. Los puntos de acumulacin del conjunto

S propuesto en el ejemplo 2.2 coinciden con sus puntos frontera, en referencia al
conjunto propuesto en el ejemplo 2. 1, los puntos de acumulacin de S son los mismos
que los de 5, agregando la frontera de S.

S={ z = x +iy/Oxl,0yl;x,y,EQ},

donde Q es el conjunto de los nmeros racionales. Sea E un nmero positivo, si z =

x + iy es cualquier punto del rectngulo O <x < 1,0 <y < 1, el -entorno de z contiene
tanto puntos de 5 como puntos que no son de S. Luego, la frontera de S es el rectngulo
mencionado.
Definicin 2.3. Sea 5 un conjunto de puntos. Se dice que 5 es abierto si no contiene

a ninguno de sus puntos frontera y se llama cerrado si contiene a todos sus puntos
frontera. Si se denota por dS a la frontera de 5, al conjunto = SU dS se le denomina
cierre o cerradura de S.
32

Ejemplo 2.5. Demuestre que un conjunto con un nmero finito de puntos no puede
tener puntos de acumulacin.

1, 2

Sean zI,z2 ..... z, n nmeros complejos y sea

n asignamos un nmero positivo

= {z1,z2,...,z},

Con cada k =

.....

'=min{zkzi=1,2,...,n;ik}.

Si se toma = ', queda claro que el E-entorno punteado V del punto Zk no contiene
ningn punto de S. Luego, Zk no es un punto de acumulacin de S.
33

Definicin 2.6. Un conjunto S se llama conexo si dada cualquier particin del mismo

en dos subconjuntos S1 y S2, al menos uno de stos contiene un punto de acumulacin

del otro. En el plano complejo a un conjunto abierto y conexo se le llama dominio y,
en general, a cualquier conjunto conexo se le denomina regin.

Se sobreentiende que para definir completamente una funcin es necesario dar una
regla de asignacin y un dominio. Si este ltimo se omite, convenimos que es el mayor conjunto posible, es decir, aquel que consiste de todos los puntos z para los cuales
tiene sentido aplicar la regla.
Considrese la funcin f : S C y sea wo un elemento de la imagen de f, entonces, existe un elemento Zo de S y dos nmeros reales uo y yo tales que

Ejercicios 2.1.

1. Demuestre que un conjunto es abierto si, y slo si, todo punto de S es un punto
interior de S.

w0 = f(zo) = uO + ivo.

2. Demuestre que un conjunto S es abierto si, y slo si, su complemento S' es

cerrado.

Evidentemente, esto ocurre para cada elemento w de la imangen de f, y por tanto, si

z = x + iy pertenece a S, deben existir funciones reales de dos variables reales u y y
tales que
(2.2)
f(z)=f(x+iy)=u(x,y)+iv(x,y).

3. Demuestre que el plano complejo es abierto y cerrado a la vez.

4. Si 5 es el conjunto que consiste de todos los puntos interiores de un conjunto
S. Demuestre que
(a) El complemento de 50 es la cerradura del complemento de S.
(b) Si S' es un subconjunto abierto de S, entonces, S' c 5.
Al conjunto S definido aqu se le denomina el interior de S.

(2.1)

En el caso particular de la igualdad (2.1) tenemos que si zo = xo + yo, entonces

uj = u(xo,yo) y yo = v(xo, YO) .

Por supuesto, se tiene tambin la posibilidad de disponer de una expresin para la

funcin f en trminos de coordenadas polares. Si se toma z = re'0 en (2.2), para las
funciones u y y que aparecen en el lado derecho, resulta

5. Sea 5 un conjunto conexo y sean zi y Z2 dos puntos de S. Demuestre que existe

una curva C, totalmente contenida en S, que une Zi con Z2.

u(x,y) = u(x(r,O),y(r,9)) =
v(x,y) = v(x(r,6),y(r,6)) =

con lo que la igualdad mencionada queda como

2.2.

(2.3)

f(z) =(r,O)+ir)(r,O).

Funciones Complejas.

Definicin 2.7. Si 5 es un conjunto de nmeros complejos, una funcin f : S + C se

denominafi4ncin compleja de una variable compleja.

La terminologa que se emplea para los conceptos que estn alrededor de las funciones complejas de una variable compleja es la misma que la usada en el anlisis real;
incluso la notacin es prcticamente la misma, en particular, si la imagen de un punto
z del dominio S de la funcin, es w, se escribe w = f(z).

Ejemplo 2.6. Determine el dominio de las funciones que se dan a continuacin y

obtenga para ellas, expresiones como las dadas en (2.2) y (2.3):

(a) f(z) = z2,

(b) f(z)

(c) f(z) =

Iz 2 .

(a) En este caso el dominio es todo el plano complejo. Tomando z = x + iy, nos

queda
34

35

Definicin 2.8. Sea S un subconjunto de C y sea f una funcin compleja de una

variable compleja con dominio S. Si T es un subconjunto de S, al conjunto

f(z) =x 2 y2 +2ixy,

resultando entonces

f(T) = {w = f (z)/z E T},

u(x,y) =x 2 y 2 ,

v(x,y) =2xy.

se le llama imagen de T bajo f. A la imagen del conjunto S que es, por definicin, la
imagen de la funcin f, se le denomina tambin, recorrido def Dado un elemento w
de f(S), al conjunto de los puntos z de S para los cuales w = f(z) se le conoce como
imagen inversa de w.

Por otra parte, si z = re10 se obtiene z 2 = r2e210 quedando entonces que f(z) =
(r,6) +ii(r,O), donde
(r, 0) = r2 cos2,
1(r,6) = r- sen2e.
,

Mediante el uso de mtodos grficos en muchas ocasiones es posible obtener alguna informacin sobre el comportamiento de las funciones complejas de una variable
compleja. Para determinar caractersticas geomtricas de aspectos relacionados con
una de tales funciones no es posible, por supuesto, elaborar una grfica de sta sobre
dos ejes mutuamente perpendiculares, como ocurra con las funciones reales de variable real, ya que para las primeras, tanto los elementos del dominio como sus imgenes
se encuentran sobre un plano; es conveniente hablar entonces de transformaciones o
aplicaciones. A veces resultar adecuado usar el mismo plano para graficar un conjunto de puntos y sus imgenes bajo determinada funcin, quedando en otras ocasiones
la eleccin de dos planos distintos a los cuales llamaremos plano z y plano w, como
la opcin ms apropiada para elaborar tal grfica. En el primer caso se habla de una
transformacin y en el segundo de una aplicacin. La eleccin de una posibilidad o la
otra ser sugerida, la mayor parte de las veces, por la estructura general de la funcin
que se analiza. Los siguientes ejemplos tratan de ilustrar algunos de los elementos
que intervienen en el tratamiento grfico de las funciones complejas de una variable
compleja.

(b) El dominio de definicin de la funcin f es todo punto del plano complejo,

diferente de i y de i. Por otra parte, dado que
(z2+1)(z2+1) = 1z14+2Rez2+1 = (x2 +y2 -1) 2 +4x2 ,
tenemos para f

M)

z2 +1
(z2 + 1) (z2 + 1)

.
2xy
x2 y2 +1
x2
+y2
- 1) 2 + 4x2 '
(x2 + y2 - 1)2 + 4x2 - '(

quedando de aqu que

u(x,y)= (x

x2 y 2 +1
2 +y2 -1) 2 +4x2 '

v(x,y) = -

2xy
(x2 +y2 -1) 2 +4x2

Se verifica tambin de manera muy sencilla que, para este caso

1+r2 cos20
1 +r2 (r2 +2cos2O)'

r2 sen20
- 1-I-r2 (r2 +2cos2O)

Ejemplo 2.7. Determine la regin R' del plano uy en la que se transforma la regin

(c) El dominio de la funcin f(z) = 1z12 es, evidentemente, todo el plano complejo. Expresando f en las formas (2.2) y (2.3) se obtiene
f(z)=x2 +y2 ,
f(z)= r.

R={(x,y)/l <x2}

(2.4)

del plano (x,y), bajo la funcin

Queda claro que, para este caso, y = 11 = O.

f(z)=z 2 .
Se emplea en ocasiones el calificativo de funcin real de variable compleja para
funciones tales como la propuesta en el inciso (c) del ejemplo anterior y se dice que
f es una funcin compleja de variable real si el dominio de f consiste de nmeros
reales y su imagen es un subconjunto de C.
36

Tomando z = x + iy la funcin propuesta queda como

f(z) =x 2 y2 +2ixy,

37

(2.5)

Ejemplo 2.8. Considrese la funcin

(2.7)

f(z) =

Determnese la regin R' del plano uy en la que se transforma la regin R del plano xy
especificada por
X:

R= {(x,y)/x 2

bajo la funcin propuesta.

X:

(a)

Multiplicando y dividiendo la igualdad (2.7) por el conjugado del nmero i + z,

resulta

(b)

f(z) = u(x,y) + iv(x,y),

Figura 2.2:

donde
2x
v(x,y)
1)2'
= x2 +(y+ 1)2
= x2+(y+
Si a es cualqier nmero positivo y proponemos

resultando entonces que

u(x,y)

u(x,y)

= x2 y 2 ,

v(x,y)

= 2xy.

1x 2 y 2

Para un valor constante c la recta = c del plano xy se transforma bajo f en la parbola

v=2 cI/'1u

(2.6)

del plano uy. Queda claro de aqu que si e toma valores en el intervalo 1 < x < 2,
la expresin anterior corresponde a una familia de parbolas cuyos ejes de simetra
estn sobre el eje u y que se abren hacia la izquierda del plano uy. La frontera de la
regin R' se generar tomando c = 1 y e = 2 en (2.6) y, para cualquier otro valor de
c en el intervalo en cuestin, la parbola correpondiente quedar dentro de la zona
sombreada de la figura 2.2b. As, bajo la transformacin (2.5), la banda dada en (2.4)
se transforma en la regin
R'

= {(u, v)14C2(C2 _U) =v2},

que corresponde a la regin sombreada de la figura 2.2b.

38

(2.8)

+(y+l)2 i}.

(2.9)

(2.10)

x2 +(y+l) 2 =a2 ,
de las igualdades (2.9) se llega a que
u=

.(1_x2_y2),

v=

(2.11)

Ahora, de (2.10) tenemos que y = 1 42- x2

- quedando entonces y2 = 1 + a 2x2 2Va 2 x2 , y de aqu,
1

_ X 2 _ Y 2 = _a2 2Ya2_ x2 .

No representa mayor dificultad el combinar este resultado con la segunda igualdad

(2.11) para llegar, de la primera de stas, a que
(u+1) 2 +v2 =().
39

(2.12)

Tomando a = 1 en (2.10) vemos que la frontera de la regin R se transforma en la

circunferencia (u + 1)2 + y 2 = 4, del plano uy; asimismo, vemos que si se recorre
dicha frontera en sentido positivo la transformacin correspondiente se realizara en
sentido negativo y viceversa. Por otra parte, para cualquier valor de a < 1 la circunfer encia x2 + (Y+ 1)2 = a, que queda en el interior de la regin R se transforma, segn la
igualdad (2.12), en una cincunferencia de radio mayor que 2 en el plano uy. Se puede
concluir entonces que la imagen de la regin R dada en (2.8) es el conjunto

Tomando z =

re'6

y expresando f en forma polar, nos queda

f(z)

1 (r,9) +ii(r,),

donde

(r,8)=

R'={(u,v)/(u+1) 2 +v2 >4}.

r)

(r,0)= ( r--" senO.

r)
\

coso,

(2.13)

Si se grafica la imagen de la frontera de la regin R encontramos lo siguiente: para

6 = 7c /2 y r > 1, resulta = O y i = r ~ 0. Luego, los puntos citados del plano
z se transforman bajo f en la parte positiva del eje r, correspondiendo valores crecientes de rj a valores creciente de r. De manera semejante, con 6 = O y r > 1, nos
a
2 y T7 = 0, quedando la imagen de tales puntos sobre el eje
quedan = r +1 ~
r
corresponde
2.
Tambin
en
este
caso
un
incremento
en
el
valor
de
la derecha de =
= 2). Para la parte de la frontera de
a un incremento en el valor de 1 (a partir de
=
formada
por
el
arco
del
crculo
la regin R
Izi 1 que queda en el primer cuadrante
<r/2,
en cuyo caso resultan 1 = 2cos6 y
=
1
y
O
<
O
r
del plano z tenemos que
0.
As,
cuando
el
arco
mencionado
se
recorre
en sentido positivo desde 6 = O
=
7r/2,
en
el
plano
ITI
se
describe
un
segemento
de recta situado sobre el eje
hasta 6 =
0,
como
se
indica
en
la
figura 2.4b.
=
2
hasta
1
=
y que va desde 1

Las regiones R y R' se esquematizan en las figuras 2.3a y 2.3b, respectivamente.

Supngase ahora que r = rl > 1, y sean

(b)

(a)

b=

-,

r1

rl

-.

rl

Entonces, de las igualdades (2.13) se obtiene

Figura 2.3:
Ejemplo 2.9. Determine la forma de la regin R' del plano w en la que se transforma
la regin

a2

b2

Puesto que tanto a como b son positivos y a> b, tenemos que cualquier arco
circular de radio mayor que 1 que este ubicado en el primer cuadrante del plano z,
quedar transformado bajo f en un arco de la elipse cuyos ejes mayor y menor estn
sobre los ejes 1 y r, respectivamente, y tienen longitudes 2a y 2b. Dicho arco ser la
parte de la elipse ubicada en el primer cuadrante del plano w. Las partes sombreadas
de las figuras 2.4a y 2.4b corresponden a las regiones R y

R'={,r,)/>0,71 >0}.

R = {z =x+iy/jzl> 1;x> 0, y> 0,}

del plano z, bajo la funcin

f(z)=z+40

=r +

41

3. Describa geomtricamente la regin R' del plano w en la cual se transforma la

regin R = {z/ - 1 < Imz < O} del plano z bajo la transformacin f dada por
f( z )

1 z

= T--

4. Determine la regin R' del plano w en la cual se transforma la regin R =

{z/ lRe(iz) + Im(iz) < 1 } del plano z bajo la transformacin f dada por f(z) =
iz.
5. Sea f la transformacin definida por f(z) = (z - a)' donde a es un nmero
real positivo y sea R la regin del plano z especficada por R = { z/ iz - al a}.
Obtenga la regin R' del plano w en la cual se transforma R bajo f.
Figura 2.4:
Bajo la transformacin f, los puntos A, B y C del plano z se transforman en los puntos
A l , B' y C' del plano w. Estas caractersticas se muestran en la figura citada.

Ejercicios 2.2.

6. Sean a y ro reales positivos y sea R la regin del plano z establecida por R =

{z/ Iz - al <ro }. Determine la regin R' en el plano w en la cual se transforma
R bajo la funcin f(z) = hz.
7. Sea R la regin del plano z especficada por R = {z/ IRezi + lImzl < l}. Obtenga
la regin R' del plano w sobre la cual se transforma R bajo la funcin f(z) =
(z - 1)/(z+ 1).
8. Si f es la funcin compleja de variable compleja dada por
f(z) =x+excosy+i(y+exseny),

1. Suponga que a es un nmero real positivo distinto de 1 .Pruebe que los nmeros
complejos z que satisfacen la igualdad
1Z
=a
1+z
describen una circunferencia. Qu ocurre cuando a = 1?

describa la regin R' de plano w en la cual se transforman las lneas y = 2v,

bajo f.
9. Describa geomtricamente la regin R' del plano w en la cual se transforma la
regin R = { z/ 1z1 2 < i,imz > o}, bajo la transformacin f(z) = z + z'.

2. Suponga que a, b, c y d son nmeros complejos tales que ad - bc O. Demuestre que la funcin f definida por
f(z)

az + b
= cz+d'

transforma crculos y rectas en crculos y rectas.

42

2.3.

Lmites y Continuidad

Definicin 2.9. Sea f una funcin compleja de una variable compleja definida en

todos los puntos de un entorno punteado del punto z. Se dice que el lmite de f
43

frontera de dicho dominio, exigiendo que se cumpla (2.14) siempre que z pertenezca
a la interseccin del entorno punteado de zo y el dominio de f.
Teorema 2.1. Si existe el lmite de f cuando z tiende a zo, ste es nico.

Supngase que existen dos nmeros complejos

tales que

lm f(z) = wl,
zzo

lm f(z) = wj

zzo

wO y wI

entonces para todo e > O existen nmeros positivos 6o y 31 tales que

Figura 2.5:

If(z)wol<e

siempre que

0 <Izzol<. 5o,

f (z) wil <e

siempre que

0< Izzo <6k.

sea = mn {6, 6 }, se tiene entonces que

cuando z tiende a Zo es el nmero wO, y se escribe
lmf(z) =w,
z-.zo

Iwiwol = I(f(z) - w0) - ( f(z) - wi)

If(z)woI+f(z)wiI
< 2e,

(2.14)

si para cada e > O existe un nmero positivo 6 tal que

If(z) wol <

siempre que 0< Izzol <6. Se deduce de aqu que Iwi -wol = 0; esto es, wl = wj
y, por tanto, el lmite es nico.

(2.15)

Teorema 2.2. Sean f y g funciones complejas de una variable compleja y supngase

siempre que 0 < 1 z - zo 1 <6.

que
lmf(z) =

La definicin de lmite significa que si (2.14) se cumple, entonces, dado cualquier

nmero positivo e siempre es posible encontrar un nmero positivo 3 de tal forma
que, bajo la funcin f, el 6-entorno del punto Zo se transforma en un subconjunto
del e-entorno del punto wo; en otras palabras, que se puede garantizar que todos los
puntos f(z) se encuentrar en el interior del --entorno del punto wo con tal de tomar
los correspondientes puntos z en un cierto 6-entorno del punto zo. En la figura 2.5 la
regin sombreda del plano uy corresponder a la imagen del 6-entorno de Zo, bajo la
funcin f.

a,

lmg(z)
Z- ZO

Z- ZO

entonces,
(a)

lm [f (z) +g(z)] =
Z - ZO

(b)

lim [f (z) g(z)I =

a+13,
a - 3,

ZZQ

(c)

lm [f(z)g(z)J =

Z - ZQ

Por otra parte, es evidente que si (2.14) se verifica, entonces If(z) - w0 < E
siempre que O < Izzo <6', para cualquier nmero positivo .5' menor que 6. Se
debe aclarar tambin que la definicin de lmite est dada nicamente para puntos
interiores del dominio de f, sin embargo, sta se puede extender al caso de puntos
44

y si /3 0, entonces
(d)
____

rJ'(z)l

limlI= -.
/3
z-zo [g(z)j
45

=13,

(2.16)

Probaremos los incisos (a) y (c). Si (2.16) se cumple, entonces, para todo nmero
prefijado e debemos poder encontrar nmeros positivos 81 y 82 tales que
siempre que
If(z)al<e
siempre que
lg(z) 13 1 <e
Si se toma 8 = mn {3 1 , 82}, resulta
l(f(z) +g(z)) - (a+J3 )j

0<IzzoI<81,

siempre que 0< iz+ii <e/3.

Ejemplo 2.11. Demuestre que si f(z) = 2x + iy2 , entonces

(2.17)

0< lz zol <82.

= l(f(z) a)+ (g(z) -/3)1

lmf(z) = 4i.
Sea e un nmero positivo dado, se tiene
12X+ (Y2
If(z) - 4 i1 = 1(2x+ iy2 ) - =
- 4)1
Si se propone

< 2e,

2 1xI<

2 1x1 + y+ 211y 2 1.

Iy+2iiy-21 <,

(2.18)

siempre que 0 < iz - z01 <6. Se sigue de aqu que la igualdad dada en (a) se verifica
siempre que se cumplan las relaciones (2.16).

resulta lf(z) 4ii <e. Ahora 2 ixI <e/2 si lxi <e/4 y, si se elige y -21 < 1, resulta

Para probar (c) suponemos nuevamente que las igualdades (2.16) se satisfacen.
Entonces, para cada nmero positivo e existen nmeros positivos 31 y 82 de tal forma
que las expresiones (2.17) son vlidas. Si, como en el caso anterior, se toma 6 =
mn{61,82}, resulta

luego, segn la segunda expresin (2.18), tenemos que

if(z)g(z) - aPI =
<

i(f(z) - a)(g(z) -/3) + a(g(z) /3)

+f3 (f(z) a)l

alig(z)
ialig(z)
if(z)
/31+
Ji+ 113 11f(z) -al
e2 + Cal +l/3De,

siempre que O < Iz - z01 < 6. Se sigue de aqu que la igualdad (c) del teorema se
cumple.
Ejemplo 2.10. Demuestre que lm(3iz-2) = 1.
Z* -1

Se debe probar que para todo nmero positivo e existe un 6 positivo de tal forma

iy+2 = iy-2+41

iy-21+4<5,

y+211y-21 <51y-21< ,

se satisface siempre que iy- 2 1 <e/lO. Sea 6 = mn{1,e/10}, entonces

If(z) - 4 i1

<e,

siempre que
0< lz-2ii = lx+i(y-2)1 ki+IY- 2 1 <6,
y de aqu que lm(2x + iy2 ) = 4i, como se quera probar.
Teorema 2.3. Considrese la funcin

que

f(z) = u(x,y)+iv(x,y)

I(3iz-2) 11 <e,
siempre que O < iz + il <6. Se tiene para esto que
(3iz-2)-11 = i3iz-31
= 3 hz II
= 3 1z+ii<e,
46

y sean Zo = xo + yo y wo = uo + iv o . Entonces,

lmf(z)=wo

(2.19)

Z- ZO

si y slo si
lm

(x,y)(xo,yo)

u (XI y) = uo

y
47

lm

(x,y).(xo,yo)

v(x,y) = yO.

(2.20)

Supngase primero que se verifica la igualdad (2.19), entonces, para cada E positivo existe un 6 positivo tal que

La prueba se hace por induccin. Para n = 1 es claro que

(2.23)

lfm z = zo,
zzo

f(z)wol = (uu0)+i(vv0) <E,

Iz zol <E, toda vez que O <

z - zol <6 = E. Supngase ahora que (2.22) se cumple paran = k; esto es, supngase
que
y a que si E es cualquier nmero positivo, entonces,

siempre que
0< zzol = I(xX0) +i(y Yo)< 3.
De estas expresiones encontramos que
U

U01

< 1 (uuo)+i(vvo) 1

siempre que O < 1 (x - x0) + i(y - yo) 1 <6 y, por tanto, se verifica la primera igualdad
(2.20). De manera semejante tenemos que

Z - Z

siempre que O < 1 (x - xo) + i(y - yo) 1 <6, de donde se sigue la segunda de las igualdades mencionadas. Inversamente, supngase que se verifican las igualdades (2.20),
entonces, para todo E> O exiten nmeros positivos 81 y 62 tales que 1 - uol <E/2
siempre que 0< ,.,/(x_xo ) 2 +(y_yo ) 2 < 31 y 1vvol <E/2 siempre que 0<
/(x xo) 2 + (y yo) 2 <62. Si se define 8 = mn{61,62}, resulta

= lm (zzk) = ( lm z)( lm z k),

Z- ZO

Z - ZO

siempre que 0< ./(xxo)2+(yyo)2 = (xxo)+i(yyo)i < 6. Se sigue de

aqu la expresin (2.19).
Ejemplo 2.12. Si e es una constante compleja, entonces

(2.21)

La prueba es trivial. Dado E > 0, se toma la 6 como E o como cualquier otro

nmero positivo.
Ejemplo 2.13. Demuestre que si n es un nmero entero postivo, entonces

de manera que de (2.23) y (2.24) resulta

- k - k+1
lm Zk+1
Z0Z0Z 0
Z- ZO

(2.22)

Ejemplo 2.14. Pruebe que si P es un polinomio complejo, entonces

lm P(z) = P(zo).
z+zo

(2.25)

Supngase que P est dado por la expresin

P(z) =

ak Zk ,

donde las a1 son constantes complejas. Si se aplican las igualdades (a) y (c) del
teorema 2.2 y las expresiones (2.21) y (2.22) probadas en los ejemplos anteriores,

ZZO

48

Z - ZO

quedando entonces probada la igualdad (2.22)

l(uuo)+i(vvo)J < lu uol+ 1vvol <E,

lm e = c.

Usando la expresin (c) del teorema 2.2 obtenemos para n = k + 1

lm

v vol<I(u uo)+i(v vo)l<E,

Z- ZO

(2.24)

lmz k =zko.

<E,

49

encontramos
lm P(z)

= lm

akzk

Z_ZokO

Z-ZO

lm(ak zk )
k=O

, (lim ak )(lim zk)

k=O

Z ZO

Z ZO

Y. akZO

= P(zo),

Figura 2.6:

como se quera probar.

Ejemplo 2.15. Demuestre que si lm f(z)

= W,

Z*Z

entonces

lm If(z)I = Iwol.
z.zo

(2.26)

Recordando que para nmeros complejos cualesquiera zi y Z2 se cumple la desigualdad 1 Izi 1 - 1211 zi - Z2 1, nos queda para este caso que, para todo nmero positivo e existe un 6 positivo tal que

If(z)I - Iwoll

If(z) wol <e,

Como hemos visto en todo lo que llevamos de esta seccin, el hecho de que la
igualdad (2.27) se verifique significa que siempre es posible ubicar el punto f(z) en
un cierto entorno de wj, sin importar que tan pequeo sea ste, con tal de tomar z en
un entorno punteado de zo, suficientemente pequeo.
Considrese ahora lo siguiente: en el espacio euclideano tridimensional R 3 se
elige una esfera de radio unitario con centro en el origen de coordenadas y se identifica el plano xy con el plano complejo. Dado un punto z = (, i) de dicho plano, se
traza una lnea recta que pasa por ste y por el polo norte N de la esfera. La recta se
intersecta con la superficie esfrica en el punto P, como se indica en la figura (2.6).

siempre que 0 < Iz zol <6, de donde se sigue inmediatamente (2.26).

Finalizamos esta parte correspondiente a los lmites de funciones complejas de
una variable compleja analizando el concepto de punto del infinito. Dicho concepto
resulta de utilidad cuando se requiere resolver problemas relacionados con la igualdad
lmf(z)
z-.zo

=w0,

(2.27)

cuando alguno de los nmeros complejos Zo o w0 o ambos tienen mdulo infinito. Para
ello quiz convenga revisar un poco aqu, el significado de la igualdad en cuestin.

50

Si el procedimiento sealado se realiza con cada uno de los puntos del plano xy,
se obtiene una correspondencia uno a uno entre los puntos de la superficie esfrica
distintos de N y los puntos de dicho plano. Por ejemplo, los puntos que se encuentran
en el hemisferio norte de la superficie esfrica se corresponderan con los puntos del
plano xy situados en el exterior de la circunferencia con ecuacin x2 +Y2 = 1 y, de
manera semejante, los puntos del hemisferio sur de la esfera quedaran asignados a
los puntos que se encuentran en el interior de la circunferencia mencionada. En cuanto a los puntos del ecuador de la esfera, la correspondencia sera con ellos mismos.
En estos trminos, definimos un punto del plano complejo, al cual llamaremos punto
del infinito y denotaremos por oc, como aquel que bajo la correspondencia descrita
51

antes, corresponde al punto N de la superficie esfrica. A la correspondencia biunvoca obtenida de esta manera se le conoce como proyeccin estereogrfica, a la esfera
se le llama esfera de Riemann y al plano complejo,junto con el punto del infinito, se
le conoce como plano complejo extendido.

y, combinando (2.30) y (2.31) se puede llegara que

Si es un nmero positivo pequeo, bajo la proyeccin estereogrfica, los puntos

exteriores al crculo Izi > 1/e, corresponderan a puntos sobre la esfera que se encuentran muy prximos al polo norte N. Se puede definir entonces el conjunto de los
nmeros z que satisfacen

Ejemplo 2.16. Sea f la funcin definida por

lmf(z)
z_
z_

= oc

entonces, lrnf(z)

= co,

1z+1
- 0,
= iz + 3

co.

Volviendo a la definicin de limite, analizamos ahora la expresin (2.27) para el

caso en que wo es el punto del infinito. Considrese la igualdad

cuando z tiende a -1; esto es lm

define por

(2.28)

= 0o

En trminos de la definicin tenemos que la igualdad se cumple si para cada e > O

existe un nmero positivo 3 tal que
1
If(z)I> E

(2.32)

ya que de (2.30) resulta

lm f(z)
z-.zo

1
lm f(i/) = 0

iz +3

Iz>-,
como un entorno del punto

si y slo si

( 2.29)

siempre que O < Iz - zo < 3. Ahora bien, la desigualdad (2.29) es equivalente a

If(z)H <e,obien

7C5

= 0. De manera semejante, si la funcin f se

2z + i

resulta imf(z) = 2, ya que por (2.3 1) tenemos

- 2 + iz
(1\
- (2/z)+i
hmf - = lim
= lim
= 2.
zO (1/z) + 1
z+O 1 +z

z.O \ZJ

Definicin 2.10. Se dice que una funcin f es continua en un punto zo de su dominio

si para todo nmero positivo e existe un 3 > O tal que

f(z) f(zo) 1 <E

(2.33)

siempre que Iz - zo 1 < S . Si la funcin es continua en cada punto de una regin R

decimos quef es continua en R.
Se concluye de aqu que
lm f(z)

= co

si y slo si

z-zQ

lm ---- = 0.
z-zo f(z)

(2.30)

lmf () = wO,

(2.31)

De manera semejante se puede establecer que

lmf(z) = wo

si y slo si

52

An cuando los conceptos de lmite y de continuidad de una funcin en un punto son totalmente diferentes, se puede observar que exiten tambin semejanzas entre
ellos. En virtud, de tales semejanzas, los resultados obtenidos en el teorema 2.2 para
lmites se extienden fcilmente al caso de la continuidad. As, se puede afirmar que la
suma, la diferencia, el producto y el cociente (cuando la operacin tiene sentido) de
funciones continuas, es una funcin continua. Las pruebas de estas afirmaciones son
totalmente semejantes a las presentadas en el teorema mencionado.
53

Proposicin 2.1. La composicin de funciones continuas es una funcin continua.

Sea w = f(z) una funcin definida en todos los puntos z de un cierto entorno del
punto zo y sea g(w) una funcin cuyo dominio de definicin contiene la imagen de ese
entorno, entonces, la composicin g o est definida en todo z del entorno propuesto.
Supngase que f es continua en zo y que g es continua en wo = f(zo). Entonces, para
cada E > O existe un nmero positivo 6' tal que
(gof)(z) - ( g of)(zo )

La prueba de este teorema es totalmente anloga a la del teorema 2.3 correspondiente a lmites.
Volviendo al concepto de continuidad, se observa que si la funcin f est definida
en un cierto entorno del punto zo, entonces, f es continua en zo si, y slo si
lmf(z) =f(zo).
z-.zo

(2.36)

Como una consecuencia directa de esta observacin se puede afirmar, sin entrar en
mayores detalles, que los polinomios complejos son funciones continuas en todo el
plano y que los cocientes de polinomios (funciones racionales), tambin lo son, excepto en aquellos puntos que corresponden a races del denominador. Del mismo modo,
en virtud del teorema 2.4 tenemos que la funcin f definida por

= g(f(z)) g(f(zo))I
= g(w)g(w0)
< E,

siempre que
f(z) f(zo)J < 6'.
(2.34)
Ahora bien, correspondiendo con este 6' existe un 6 > O tal que (2.34) se verifica
siempre que Iz zo 1 <6. Luego, dado E >0 existe un 6 >0 tal que

(gof)(z) - ( g of)(zo ) < E,

f(z) = )' + isen(x2 - 2xy3 ),

es una funcin continua en todo punto del plano complejo. En el siguiente enunciado
referente a continuidad de funciones, se presenta uno de los resultados ms impor tantes para las aplicaciones del anlisis numrico.
Teorema 2.5. Supngase que f es una funcin continua en una regin cerrada y acotada R del plano complejo. Entonces, exite un nmero real no negativo M, tal que

siempre que Iz zO 1 <6.

Proposicin 2.2. Si f es una funcin continua y no nula en un punto zO, entonces,
f(z) 0 O en algn entorno de ese punto.
Dado que f es continua en zo, tenemos que para cada E > O existe un nmero
positivo 6 tal que

f(z) 1 <M,

(2.37)

para todo z de R.
Otro concepto importante en las aplicaciones es el que se describe en seguida.

If(z) f(zo)l <E,

siempre que Iz - Zo 1 < S. Elegimos E = If(zo) /2, segn lo anterior, resulta
lf(z) f(zo)l <f(zo)I,

Definicin 2.11. Se dice que una funcin f es uniformemente continua en una regin
R del plano complejo si para todo nmero positivo E exite un nmero positivo 6 tal
que la desigualdad
(2.35)
lf(z2) f(zi)I <E,

siempre que Iz - zoI < 6. Si f(z) fuera cero en algn z de este E-entorno, se llegara a
un absurdo en la igualdad (2.35). Esto prueba la proposicin.

se cumple para cualesquiera dos puntos zi y Z2 de R para los cuales 1Z2 - Zi 1 < 6.

Teorema 2.4. Una funcin f(z) = u(x,y) + iv(x,y) es continua en un punto zO =

(xo,yo) si, y slo si, sus funciones componentes u y y lo son all.

Corolario 2.1. Si f es una funcin continua en una regin cerrada y acotada R del
plano complejo, entonces, f es uniformemente continua en R.

54

55

Ejemplo 2.17. Sea

6. Sea p el polinomio complejo dado por p(z) = ao + az + + az' y suponga que lao l ~: lai 1 + + la,, 1. Demuestre que p no tiene races en la regin
R = {z/Izl < 1}.

f(z) = u(x,y) +iv(x,y),

una funcin continua en una regin cerrada y acotada R del plano complejo, entonces,
42 + _
v2 es una funcin uniformemente continua en R y alcanza un mximo en algn
lugar de dicha regin; es decir, existe una constante no negativa M, del tal forma que
se verifica la desigualdad (2.37).

7. Determine los valores de z para los que lim(z/z)' 2 tiene mdulo finito.
8. Sea f la funcin compleja de variable compleja definida por
1z 1 2
(a) f(z)zRez

(b) f(z)

(c) f(z)

Ejercicios 2.3.
(d) f(z)

1. Pruebe que si z O es un nmero complejo tal que I z1 < 1, entonces

k=O

O.

lm (f(z)g(z))

Si c

O, entonces, lmf(z)
Z

a/e y lm f(z)

O, y sea f

3z2
(2zl) 2

00

WZ1

z-d/c

'

WZ2

(b) lim
z*i z2 +l
56

x2 +y2 -1

x2 +y2 +1

11. Si z i y Z2 son las proyecciones estereogrficas de los extremos de un dimetro

de la esfera de Riemann y si la esfera se gira un ngulo 6 respecto a dicho
dimetro, demuestre que

5. Justifique las siguientes igualdades:

(a) lm

O de tal

10. Determine los conjuntos de puntos en el plano complejo en los que, bajo la
proyeccin estereogrfica, se transforman los paralelos y los meridianos de la
esfera de Riemann. Cmo se transforman en el plano complejo bajo dicha
proyeccin, las circunferencias, en general, en la esfera de Riemann?

O.

4. Suponga que a, b, c y d son nmeros complejos tales que ad bc

la funcin definida por f(z) = (az + b) / (cz + d). Demuestre que
(a) Si c = O, entonces, lmf(z) = oo.
(b)

Obtenga las relaciones que definen x y y en trminos de 1 , 17 y .

Establezca las condiciones sobre la funcin g bajo las cuales

Z- ZO

2y
x2 +y2 +1'

2x
x2 +y2 +l'

3. Sean f y g dos funciones complejas de variable compleja y suponga que

=

(Rez) 2 (Imz) 2

9. Sea z = (x,y) un punto en el plano complejo al cual, bajo la proyeccin estereogrfica le corresponde el punto P = (, 17, ) de la esfera de Riemann.
Demuestre que los componentes de P en trminos de x y y estn dados por

2. Sean R una regin cerrada y acotada del plano complejo y f una funcin continua en R. Demuestre que existe un nmero positivo M tal que lf(z) 1 M, para
todo z en R.

lmf(z)

(Rez)(Imz)
1z1 2

Pruebe que f es continua en todo z O. Es posible definir f en z

forma que sea continua all?

izk=_L

Z- Z

=00,

(c) lm
z -.00

Z2 + i

z1

Z Z1

exp

ZZ2

donde w = f(z) es la transformacin inducida por una rotacin arbitraria de la

esfera, alrededor de un dimetro.

00

57

2.4.

Como ocurre en el anlisis real, resulta relativamente sencillo probar que si c es

una constante compleja y si f es una funcin compleja de una variable compleja,
diferenciable en z, entonces

La derivada de las funciones complejas.

Definicin 2.12. Sea f una funcin compleja de una variable compleja y sea zo un

punto interior del dominio de f. Supngase que el lmite

f(z) f(zo)
f' (zo) = lfm
Z-ZQ

ZZo

-(cf(z))
dz

(2.38)

AzO

+ Lz) -

iz.O

LZ

f(z)

Lz

que corresponde a la expresin (2.40).

Tambin se puede probar que la diferenciabilidad de una funcin f en un punto z
implica la continuidad de f en dicho punto. Para ello tenemos que

f(zo+Lz)f(zo)
LZ

Usando esta expresin y la funcin f se puede construir una nueva funcin f mediante
la igualdad
- f(z+z)f(z)
f'(z) = lim
AzO

+ Lz)

(2.40)

f(z
- cf(z + iz) - cf(z)
=c hm
hm

d
dz

Empleando la transformacin Lz = z - zo, se puede expresar el lmite f'(zo) en la

forma

la cual, con f(z) = w y f(z

df(z)
dz

ya que

existe. Se dice entonces que dicho lmite es la derivada de f en zo y que f es djferenciable en zo.

f'(zo) = lm

=C

Lz

lm(f(z) f(zo))

zzo

zzo

Z - ZO

(zzo))

f(z) f(zo)
)(lm(zzo))
Z - ZO

Z-Z

= f'(z)O
=0,

- f(z) = Aw, queda como

f (z) = lim

zzo

= (lm
(2.39)

f(zo)

= im(

1w

y por tanto

AzO LZ

lmf(z) =f(zo) ,
z.zo

A la funcin f definida en (2.39) se le denomina la derivada de la funcin f

y cuando existe sta en todos los puntos de una cierta regin R se dice que f es

que es precisamente la igualdad (2.36).

diferenciable en R.

Otra flotacin comunmente empleada para la derivada de f es df(z) /dz; es decir,

se tiene
''

Otras propiedades importantes de las derivadas de las funciones complejas de una

variable compleja se da en el siguiente teorema. Se podr observar de inmediato que
stas tienen su expresin correspondiente para el caso real; de hecho, las propiedades
que aqu se presentan deben reducirse a las de las derivadas de las funciones reales de
variable real, cuando la parte imaginaria de los nmeros involucrados sea nula.

= df(z)
dz

Si se pretende indicar la igualdad (2.38) a travs de esta simbologa, se escribe

f'(zo) = df(zo) - df(z)
dz - dz

58

Teorema 2.6. Si f y g son funciones complejas de una variable compleja, diferencia-

bles en z, entonces,

Z=Z

111

59

Ejemplo 2.18. Demuestre que si n es un entero positivo, entonces,

(a)

d
- df(z) + dg(z)
-(f(z)+g(z)) dz
dz
df(z)
dz
-(f(z)g(z)) =f(z) "g---+g(z)
(z)

(b)

dz

= nzn-'

(2.41)

Definiendo f(z) =Z n tenemos que

,

,, si g(z)

0, entonces,
f(z+Az)f(z) =

(c)

(z +Az )z

d (f(z
g(z)f'(z) f(z)g'(z)
=
(g(z)) 2
dz g(z

()z n
kY-

dz g(z)
--

= lm

0 (z+Az)-4(z)

Az-O

f(z+Az)f(z)
Az

Ahora

g(z)g(zAz) (g(z+Az) g(z)).

Tomando en cuenta que g es continua en z y que, por tanto, g(z + Az) ----> g(z) cuando
Az -* O, al dividir por Az toda la expresin anterior y tomar el lmite cuando Az tiende
a O, encontramos
d(z) - f(z) - f(z)g'(z)
(g(z)) 2
dz - g(z)

que corresponde a la expresin del inciso (c) del teorema.

60

Zn

Ahora, dividiendo la igualdad por Az, encontramos

Az

(z+Az) (z) - f(z+Az)f(z)

- g(z+Az) g(z)
= g(z)f(z+Az) f(z)g(z+Az)
g(z)g(z + Az)
1
(f(z+Az) f(z)) = g(z+Az)

z)_

' (n)Zn-kNZk.

Probaremos la expresin dada en el inciso (c). Para ello suponemos que g(z) O
' elegimos los valores de Lz de tal forma que g(z + Az) no se anule. Definimos una
ueva funcin como = f/g, quedando entonces que
d (f (z) )

()zn-z-i
k=]
+ fl

( fl_

l) n_2A++I n_1

2!

Como puede verse aqu, excepto el primer trmino del miembro derecho, todos van
multiplicados por alguna potencia positiva de Az, de manera que todos ellos se anulan
cuando Az - 0. Se sigue de aqu (2.41).
De la expresin (a) del teorema 2.5 y de las igualdades (2.40) y (2.41) se deduce
que si P es el polinomio complejo definido por
P(z)

= Lakzk,

entonces,
dP(z)
kakz''
dz - k=1
61

-_

Ejemplo 2.19. Determine la derivada, en caso que exista, de la funcin f definida por

f(z)

1z12. Se tiene para este caso que

f(z + z) - f(z) - Iz + \zI 2 z1 2

AZ
tz
- (z+z)(z+iz)z
Lz
Lz
=
LZ

Si se hace que Lz -+ O, del teorema 2.1 sabemos que si el lmite existe es nico, de
manera que sin importar desde donde y en que direccin nos acerquemos al origen,
el resultado debe ser el mismo. Supngase que se hace tender Lz a cero a travs de
puntos de la forma (x, O). En tal caso se tiene que Lz = Lz y, por tanto,

Teorema 2.7. Supngase que f y g son funciones tales que f tiene derivada en Zo y g
tiene derivada en f(zo). Entonces, la composicin g f tiene derivada en zo y

(2.42)

(gof)'(zo) =g'(f(zo))f'(zo).

Dado que g es diferenciable en el punto wo = f(zo), tenemos que existe algn

--entorno de este punto que est contenido en el dominio de g. As, para cada w de tal
entorno se define una funcin G mediante la expresin
G(w)

g(w)11(W0)

w-w

g'(wo)

=O

cuando

w/=wo

cuando

w=wo.

Se observa que esta funcin es continua en w, ya que

lm G(w) = O.

w*w0

- f(z + Az) - f(z)

hin
=+z.
Az

Ahora, en la expresin dada para G podemos sumar a ambos lados la cantidad g' (wc)
y podemos despus multiplicar el resultado por w - wo para obtener

Si hacemos ahora que, Az -+ O a travs de puntos de la forma (O, Ay), nos queda
= Az resultando en este caso que

g(w) - g(wo) = (G(w) + g'(wo))(w - wo),

Az*O

lm f(z+Az)f(z)
Lz-.O
AZ

Obviamente, el nico valor de z en el cual coinciden estos lmites es z = O, concluyndose de aqu que la derivada de la funcin propuesta existe nicamente en el origen y
f'(0) = O. Esto ltimo se obtiene tambin fcilmente a partir de la igualdad (2.38),
tomando zo = O.
Tomando en cuenta que la funcin tratada en el ejemplo anterior es continua en
todo el plano complejo, podemos observar una relacin, que de hecho es de carcter
general, entre los conceptos de continuidad y diferenciabilidad de una funcin: si f es
una funcin diferenciable en un punto Zo del plano complejo, entonces, es continua en
Zo; sin embargo, la continuidad de f en Zo no garantiza su diferenciabilidad all.

(2.43)

igualdad que es vlida an cuando w = wo. Por otra parte, en virtud de que f es
continua en zo, correspondiendo al e citado antes existe un nmero positivo 3 tal que
w - wo 1 <e siempre que Iz - zo 1 <. Para cada z en ese 5-entorno tomamos f(z) = w
y escribimos la igualdad (2.43) en la forma
g(f(z)) g(f(zo)) = (G(w) +g'(f(zo))(f(z)

f(zo)).

De esta forma, tomando en cuenta que g(f(z)) - g(f(zo)) = (go f) (z) - (gof) (zO)
al dividir la igualdad anterior por z - Zo y tomar el lmite cuando z --> zo, llegamos a la
expresin (2.42).

A continuacin establecemos la regla de la cadena para funciones complejas de

una variable compleja. Como ocurre en el anlisis real, tambin aqu la regla mencionada representa una herramienta poderosa para calcular derivadas.

Con los elementos que se han podido desarrollar hasta el momento, es posible calcular ya la derivada de una cantidad considerable de funciones. Vemos por ejemplo
que, combinando la igualdad (2.41) con la expresin (c) del teorema 2.5, podemos
derivar cualquier funcin que est dada como un cociente de polinomios complejos. Si adicionalmente se emplea la expresin (2.42), el nmero de funciones que
se puede derivar aumenta sustancialmente. Los siguientes ejemplos ilustran algunas
aplicaciones de los elementos citados.

62

63

2. Pruebe que el teorema del valor medio para funciones reales de variable real no

Ejemplo 2.20. Considrese la funcin F definida por

se extiende al caso de funciones complejas de una variable compleja, haciendo

ver que si f(z) = Z3 , Zi = 1 y Z2 = i, entonces, no existe un punto zo sobre el
segmento de recta que une los puntos Zi y Z2, tal que

F(z) = (Z2_).

f(z2) f(zj) = (z2 zi)f ' ( zo).

Si se eligen dos funciones f y g como

f(z)=z2_,

3. Sea p el polinomio complejo dado por p(z) = ao + al z + + az'2 Demuestre

que los coeficientes ao, ai,. . . a, de p se pueden escribir como

g(z)=z4,

resulta F = g o f, de manera que, de la expresin (2.42) se obtiene

1)3 d (Z2 _

'

z)
4(z2 z dz
4 3
= -(z 1) 3 (2z3 +1).

Ejemplo 2.21. Sean f y g las funciones definidas por

f(z)=,

k=O,1 .... n.

ak="k

F'(z) = (gof)'(z)=g'(f(z))f'(z)

4. Obtenga la derivada de la funcin f, cuando

(a)

f(z)=(2z 3 +1) 5 ,

( b)

f(z)= (z2+1)2'

(c) f(z)= 2-3z2

(z-1) 2

5. Pruebe la expresin dada en el inciso (b) del teorema 2.6.

g(z)=z2_

Determnese la derivada de la funcin compuesta g o f.

Se observa que g o f = f2 + f o f, de manera que para la derivada se obtiene
(gof)' = (2f+f of)f', o bien
(gof)'(z) = 1

-.

Ejercicios 2.4.

2.5.

Las ecuaciones de Cauchy-Riemann

En esta seccin se presentan condiciones necesarias y suficientes para garantizar

la existencia de la derivada de las funciones complejas de una variable compleja. A
travs de la teora que aqu se desarrolle, nos daremos cuenta que, a diferencia de lo
que ocurre con las funciones tales de variable real, en el caso complejo no es sencillo
construir funciones diferenciables. Dada f = u + iv, para garantizar la existencia de
J', las funciones componentes u y y deben cumplir con ciertos requerimientos.
Teorema 2.8. Supngase que la funcin

1. Demuestre que si todas las races de un polimio complejo p tienen parte real
negativa, entonces, lo mismo ocurre con la derivada p' de p.
64

f(z) = u(x,y) + iv(x,y),

65

tiene derivada en el punto zo = x + yo, entonces, las primeras derivadas parciales de

las funciones u y y existen en (xo,yo) y satisfacen las expresiones
Vy ,

Uy

= - VX,

que corresponde a la expresin (2.45). Ahora bien, si para hacer que Az -* O, en vez
de tomar puntos sobre el eje real se eligen puntos sobre el eje imaginario; es decir,
puntos de la forma (0, Ay), de (2.47) y (2.48) nos queda

(2.44)

adems, la derivada f' (zo) se puede escribir en la forma

f'(zo) =u(xo, YO) +iv(xo,yo),

f'(zo)

(2.45)

= lm

AyO

u(xo,yo+ AY) u(x0,yo)

v(xo,yo+ AY) v(xo,yo
+i lm
Ay
y-.O
Ay

= Vy(xO,yo) - iVy (XO,yO),

o bien como
(2.46)
yo) UY (XO,yo).
Escribiendo Az = Ax + Ay y tomando en cuenta que en trminos de u y y la
funcin f valuada en zo + Az queda como
f'(zo)

f(zo + Az) = u(x + Ax,yo + Ay) + iv(xo + Ax,yo + Ay),

tenemos que
- u(xo +Ax,yo+AY) u(xo , YO)
Ax+Ay

f(zo+Az) f(zo)

Az

(2.47)

v(x+Ax,y0+ AY) v(x,yo

+i
Ax+Ay

Ahora, por hiptesis f (zo) existe, de manera que podemos hacer que Az tienda a O en
cualquier direccin, y el lmite
hm

f(zo+Lz)f(zo)
Az

(2.48)

debe ser el mismo. Por ejemplo, si hacemos que Az - O a travs de puntos de la forma
(Ax, O), de la igualdad (2.47) se llega a que

f'(zo)

= lm

u(xO + Ax,yo) - u(xo,YO)

= Ux(X0,YO)

que es la igualdad (2.46). Finalmente, de (2.45) y (2.46) se deduce que en el punto

(xo,yo) se verifican las igualdades ux = v, y u, = v s como se quera probar.

= Vy(XO ,

AX

v(xo + Ax,yo) - v(xo,yo

.
+z hm
AX
Lx-.O

+ivx(XO,yO),

66

Definicin 2.13. A las expresiones dadas en (2.44) se les conoce como ecuaciones

de Cauchy- Riemann.

Teorema 2.9. Supngase que la funcin compleja de variable compleja f expresada

como
f(z)=u(x,y)+iv(x,y),

est definida en todo punto de algn s-entomo de Zo = xo + yo. Supngase adems

que las funciones uy y tienen primeras derivadas parciales continuas en (xo,yo) y que,
en dicho punto, satisfacen las igualdades (2.44). Entonces, f'(zo) existe.
En virtud de que u y y son funciones continuamente diferenciables en (xo,yo),
para todo punto (xO + Ax,yo + Ay) podemos escribir
Au = ux(xo,yo)Ax+uy(xo,yo)Ay+ IAzIsj,
Av = vx(xo,yo)Ax+vy(xo,yo)Ay+ 1 AzIe2,

(2.49)

donde Az = Ax + Ay es tal que O < lAz1 <e y e1 y 2 son funciones de Ax y Ay tales

que
lme=O,
j=1,2.
Ahora bien, dado que Aw = f(zo + Az) - f(zo) = Au + Av, de las igualdades
(2.49) resulta
Aw = (u1(x01yo)Ax+u(x0 1 yo)Ay-i_ lAzici) +i(vx(x0,yo)Ax+v y (x0,yo)Ay+IAzIe2)
= (ux (xo,yo) +ivx (xo,yo))Ax+ (u y (xo,yo) +iv(xo,yo))Ay+ (e +ie2)IAzI,

67

quedando de las ecuaciones de Cauchy-Riemann (2.44) la expresin

= (Ux (xo,yo) +ivx (xo,yo))I.\z+

De manera anloga para la funcin y resulta

(s +i2)IL\zI.

Puesto que el mdulo de IzI /\z es igual a 1, al dividir la expresin anterior por Az
y tomar el lmite cuando Lz > 0, obtenemos

( Vr )
'\

cose
seno \ ( v
rsen rcosO ) \V v,

Ahora, si r > O la matriz que aparece en estas igualdades es inversible, con inversa
i( rcos seno
rsen cosO

Lw

f'(zo) = lm - = Ux(xO,yo) + ivx (xo,yo),

L\zO Z

de manera que se pueden obtener la derivadas parciales de u y y respecto a x y y, en

trminos de las parciales respecto a r y O, a partir de

con lo cual queda probado el teorema.

Quedara fuera de toda discusin la utilidad que representara el poder manejar
las ecuaciones de Cauchy-Riemann y las expresiones (2.45) y (2.46) en coordenadas
polares. Lo que sigue est encaminado a este objetivo.
Considrese la funcin compleja de una variable compleja f dada por
f(z) = u(x,y) + iv(x,y)

y la transformacin
y=rsenO.

x=rcosO,

Expresando las funciones u y y en trminos de las variables r y 6 resulta

ux

UY j

vx
vy ) =

l(rcos
rsenO
1/rcosO

seno \(ur"

cosO )

u0

senO\/v,

cosO

\ rsenO

(2.50)

'\

VO

Supngase que u y y satisfacen las ecuaciones Cauchy-Riemann en un punto dado

z 0, entonces, de la primera ecuacin (2.44) y de las expresiones (2.50) se obtiene
UrCO5 O

senO

= Vr sen O + ! V9

O,

lo cual es equivalente a

u(x,y) = u(x(r,O),y(r,O)),
v(x,y) = v(x(r,O),y(r,6)),

quedando para las primeras derivada parciales de u las expresiones

9u

9udx t9udy
+-- =ucosO+usenO,
r dyar

(ur_ ! ve)cos6_(uo+V r )senO=O.

Evidentemente, esta igualdad se cumplir para todos los valores de O si y slo si se

verifican las igualdades
1

Ur =V9,

au cudx duy

do
dX de ay do
Estas igualdades se pueden escribir en una sola expresin matricial como
( Ur

sen O '\ ( u,
rsen rcos6 ) k UY

- ( COSO
)

68

U9

Vr,

r
r
que representan las ecuaciones de Cauchy-Riemann en forma polar.

Por otra parte, usando nuevamente las expresiones (2.50) para calcular
encontramos
1

u + iv = ur cos O - - u0 senO + i(vrcosO - .!9 senO),

69

(2.51)
u., y v,

Definicin 2.14. Una funcin compleja de una variable compleja f se llama analtica
en un conjunto abierto S si es diferenciable en S. En particular se dice que f es analtica en un punto zo si es diferenciable en un entorno de z. Si f es analtica en todos los
puntos del plano complejo finito, decimos que f es una funcin entera.

igualdad que, a partir de (2.51), se puede llevar a la forma

ux +ivx

= Ur COS+VrSenO+ZVrCOS

iU r

SenO

(ur +ivr )(cos-isen)

= e (ur +ivr).

As, si f es diferenciable en el punto z = rei0 (z

En trminos de esta definicin se debe entender que si se hace referencia a una funcin analtica en una regin cerrada, dicha regin ser un subconjunto de una regin
abierta en la que f es analtica.

O), entonces

f'(z) = e (ur (r,6) +ivr (r,O)).

(2.52)

Definicin 2.15. Sea f una funcin compleja de una variable compleja y sea zo un
punto tal que f no es analtica en Zo pero lo es en un punto de todo entorno de zo. Se
dice entonces que Zo es un punto singular de f o que es una singularidad de f.

(2.53)

En virtud de las propiedades de la derivada de las funciones complejas de una

variable compleja, establecidas en los Teoremas 2.5 y 2.6, se deduce que la suma, el
producto y la composicin de funciones analticas son, a su vez, funciones analticas.
Lo mismo ocurre para el cociente, el cual es una funcin analtica en todos los puntos
donde no se anula la funcin del denominador.

De manera semejante se puede probar que

-jo
-----(u(r,9) +ivo(r,O)).

Ejemplo 2.22. Para todo nmero z = reio con r> O y 2v < O <
funcin f mediante

7r,

se define la

Ejemplo 2.23. Considrense las funciones

f(z)=fz.

Dado que = .fre "2 tenemos

f(z) =

g(z) =

y sea P el polinomio complejo dado por

f(z)=ficos - + isen-

(e

1z12 ,

),

P(z) = Lakz k .

quedando para este caso que

Como se vio en el ejemplo 2.19, la funcin f dada aqu tiene derivada nicamente
en el punto z = O, de manera que no es analtica en ninguna parte. En cuanto a g,
sta es analtica en cualquier regin en la que no se encuentre el punto z = - 2i; dicho
punto es una singularidad de g ya que, para todo nmero positivo s, el conjunto de
los puntos z tales que O < Iz + 2i1 <s, contiene un punto donde g es analtica. En
referencia al polinomio P, tenemos que ste es diferenciable en todas partes y, por
tanto, es una funcin entera.

v(r,O) = [rsen

u(r,O) =/cos-,

Calculando Ur)' Vr y sustituyendo en (2.52) encontramos

e
O
f'(z) = cos-+isenz.
2/\
1
1
= 2(rei0 1 2

Teorema 2.10. Sea D un dominio en el plano complejo y supngase que f es una

funcin tal que f(z) = O, para todo z de D. Entonces, f es constante sobre D.

) 1

70

71

Considremos para f la representacin

Definicin 2.17. Si dos funciones u y y son armnicas en un dominio D y si sus

primeras derivadas parciales satisfacen las ecuaciones de Cauchy-Riemann en D, se
dice que y es una armnica conjugada de u.

f(z) = u(x,y) +iv(x,y).

Si f'(z) = O para todo z de D, segn las expresiones (2.45) y (2.46) nos queda que
ux = u, = v = v, = O, luego, las derivadas direccionales de u y y se anulan en todo
punto de D, en cualquier direccin. Se infiere de aqu que para ciertas constantes a y
b, u = a y y = b; esto es f(z) = a + ib para todo z de D, como se quera probar.
Definicin 2.16. Sea h una funcin real de dos variables reales, dos veces continuamente diferenciable en un conjunto abierto S. Se dice que h es armnica en S si

satisface la ecuacin de Laplace

h.+ hyy = 0,

(2.54)

en todo punto de S.
Teorema 2.11. Supngase que f(z) = u(x,y) + iv(x,y) es una funcin analtica en
un dominio D y que las derivadas parciales de segundo orden de u y y son continuas
en D, entonces, las funciones u y y son armnicas en D.

En virtud de la continuidad de las segundas derivadas parciales de u y y en D

tenemos que uxy = Uyx y v, =vyx en todo D. Derivando la primera ecuacin (2.44)
respecto a x y la segunda respecto a y, al sumar miembro a miembro se obtiene u +
uyy = 0. De manera semejante si se deriva la primera ecuacin (2.44) respecto a y y
la segunda respecto a x y se restan los resultados, se obtiene v + v = O, que es lo
que se quera probar.
Ejemplo 2.24. La funcin u definida por
u(x,y) = eY(2xycosx+ (x 2 y 2 ) seny),

es una funcin armnica en todo el plano complejo ya que es la parte real del producto
de funciones enteras f y g, donde
f(z) = iz2 ,

g(z) = e(cosx+isenx).

De esta definicin es prcticamente inmediato el siguiente resultado.

Teorema 2.12. Una funcin f(z) = u(x,y) + iv(x,y) es analtica en un dominio D y
sus funciones componentes u y y son dos veces continuamente diferenciables en D si,
y slo si y es una armnica conjugada de u.

Se verifica fcilmente que si una funcin y es una armnica conjugada de otra

funcin u entonces, u es una armnica conjugada de y. Esto se deduce del teorema
anterior y del hecho que si f es una funcin analtica en un dominio D, entonces, - if
es tambin analtica en D. Las funciones u y y sern armnicas conjugadas una de la
otra, nicamente en el caso en que ambas sean constantes.
A diferencia de lo que ocurre en el anlisis real donde "usualmente" las funciones
que se construyen resultan ser derivables, en el caso complejo esto no es as. Se observa de los teoremas 2.8 y 2.9 que para poder garantizar la diferenciabilidad de la
funcin
f(z) =u(x,y)+iv(x,y),

al proponer una de las funciones u o y, la otra no se puede elegir arbitrariamente, sino

que deber ser tal que se satisfagan las ecuaciones de Cauchy-Riemann (2.44). Sin embargo, dada una de estas funciones es posible construir la otra de tal forma que la suma
u + iv sea analtica, imponiendo nicamente ciertas condiciones de integrabilidad a la
funcin dada. Supngase por ejemplo que se conoce u, el problema consiste entonces
en encontrar una y que sea una funcin armnica conjugada de u. De esta forma, si se
han de verificar las ecuaciones de Cauchy-Riemann de la primera igualdad (2.44) nos
queda
y

v(x,y)=f u(x,)di+(x),

La funcin h dada por

h(x,y) =ln\/x2 +y2 ,

es armnica en cualquier regin que no contenga el punto z = 0.

72

(2.55)

donde es una funcin que depende slo de x. Ahora, dado que

vx (x,y)

= fu xx (xti)dii +'(x),
73

(2.56)

de donde es inmediato que 4, est dada por 4, (x) = x3 + c, donde c es una constante
arbitraria. Sustituyendo sta 4, en (2.59) nos queda v(x,y) = x3 - 3x2 + c. De esta
forma, la funcin f definida por

de la segunda ecuacin (2.44) nos queda

= _uy(x,y) -

u.(x,n)dn

f(z) = y3 - 3x2y + i(x3 - 32 + c),

obtenindose para 4, la expresin

es una funcin entera, que se puede escribir como f(z) = i(z 3 + c), ya que

(x) =c_fXuy(,y)d_fXu()d,
donde c es una contaste arbitraria. Finalmente, sustituyendo este resultado en (2.56),
encontramos
x
x
y
v(x,y)=c_f u y (y)d+f ux(x 71)d?1_f d1

y
(2.57)

Es evidente entonces que con estas funciones, u y y la f dada en (2.55) es una funcin
analtica en toda la regin del plano donde existan las integrales involucradas en el
proceso.
Ejemplo

2.25. Sea u la funcin definida por

u(x,y) = y3 - 3x2y.

(2.58)

Integrando esta funcin respecto a y, encontramos para y

(2.59)

donde 0 es una funcin a determinar. Tomando en cuenta la segunda igualdad (2.44)

y derivando parcialmente respecto a y la ecuacin (2.58) y respecto a x la (2.59),
encontramos

74

1. Suponga que la funcin f(z) = u(x,y) + iv(x,y) es analtica en un dominio D.

Pruebe que en D, el jacobiano de las funciones u y y respecto a las variables x y
y, es igual a If'(z)12.
2. Pruebe que no existe una funcin entera f cuya derivada f' sea la funcin
3. Sea S el conjunto dado por S = {z = re 9 /r > O;O < 0 <2Jr}. Demuestre que
la funcin g definida por g(z) = In r + iO es analtica en S, con derivada g' (z) =
z_ 1 . Pruebe entonces que la funcin compuesta g(z 2 + 1) es analtica en la
regin R = {z/Rez > O,lmz > O}, con derivada 2z/(z 2 + 1).

vy (x,y) = 6xy.

3y2 -3x 2 =3y2 '(x),

Ejercicios 2.5.

f'(z) = Rez.

Encuentre una funcin y que sea una armnica conjugada de u.

De la funcin propuesta u y de la primera ecuacin (2.44) tenemos que

v(x,y) = 3xy2+4,(x),

y3 -3x2y+i(x3 -3xy 2 +c) = i(x3 _32 i(y 3 3x 2y) +c)

i(x3 +3x2 (iy) +3x(iy) 2 + (iy) 3 +c)
i((x+iy) 3 +c)

4. Considere la funcin f definida por f(z) = \/ I (Rez) (Imz) 1. Pruebe que en z = O

f satisface las ecuaciones de Cauchy-Riemann, pero que no tiene derivada all.
5. Suponga que la funcin f(z) = u(x,y) + iv(x,y) satisface las siguientes condiciones en el punto z:
(a) las funciones componentes u y y son diferenciables,
(b) existe el lmite
75

lm

Lz-O

que relaciona dos funciones arbitrarias, queda como u(x,y) = f(z) + g(). Inversamente, pruebe que si f y g son funciones analticas, entonces, u(x, y ) =
f(z) +g(Z) es una funcin armnica.

tf(z)
LZ

Demuestre que o bien f(z) o bien f(z) es diferenciable en z.

12. Suponga que w = f(z) es una funcin que transforma el crculo IzI = r, del
plano z en la curva C del plano w. Demuestre que la curvatura ic de C est dada
por

6. Obtenga una armnica conjugada de la funcin u definida por

u(x,y) =x(1+ 22 ).

1 +Re(zf")(z)/f'(z))
Jzf'(z) 1

7. Suponga que f(z) = u(x,y) + iv(x,y) es analtica en una cierta regin R. Demuestre que en todo punto de R se verifica la igualdad
49udu
ax ay

13. Demuestre que si f es una funcin analtica en una regin R, entonces, existe
una funcin analtica f* en la regin R, simtrica a R con respecto al eje real,
tal que

dvdv
dxdy

f(2) =f*( z )

8. Si f(z) = u(x,y) + iv(x,y), encuentre una funcin y de tal forma que f sea
analtica en alguna regin, cuando
(b) u(x,y) = cosxcoshy,

(a) u(x,y)=esenx,

(c) u(x,y) =x/(x 2 +y2 ).

9. Suponga que f es una funcin analtica en el interior y sobre la frontera de un

disco unitario. Suponga adems que lf(z)l 1 cuando IzI 1 y que f(0) = O.
Demuestre que If (z)I IzI, cuando IzI < 1.
10. Suponga que fI,f2.....f, son funciones analticas y que If(z1)I 2 + If(z2)I 2 +
+ If(z) 12 es una funcin armnica . Demuestre que cada fk es constante.
11. Escribiendo

M)

= f(x,y) = f

=
demuestre que las ecuaciones de Cauchy-Riemann se convierten en
0, en cuyo caso resulta g'(z) = af/dz. Demuestre que en este contexto, la
ecuacin de Laplace queda como a2 u(x,y) /dzdz = O, y su solucin general,
76

77

Bibliografa
[1] Alhfors P., COMPLEX ANALYSIS, McGraw-Hill Book Co., USA, 1966.
[2] Arfken G., MATHEMATICAL METHODS FOR PHYSICISTS, Academic Press,
USA, 1970.
[3] Churchill-Brown, VARIABLE COMPLEJA Y APLICACIONES, McGraw-Hill,
Mxico, 1992.
[4] Courant, R.-John, F., INTRODUCTION TO CALCULUS AND ANALYSIS,
Vol.2, John Wiley and Sons. Inc., USA, 1974.
[5] Levinson-Redheaffer, COMPLEX VARIABLE, Holden-Day Inc., USA, 1970.
[6] Polya-Latta, VARIABLE COMPLEJA, Limusa, Mxico, 1991.

78

79

Indice alfabtico
E-entorno, 31
E-entorno punteado, 31
abierto, conjunto, 32
acotado, conjunto, 33
analtica, funcin, 71
aplicacin, 37
argumento de un complejo, 20
cerrado, conjunto, 32
cerradura de un conjunto, 32
complejo conjugado de z, 13
conexo, conjunto, 34
conjunto
abierto, 32
acotado, 33
cenado, 32
cerradura de un, 32
conexo, 34
frontera de un, 31
imagen de un, 37
interior de un, 34
no acotado, 33
punto de acumulacin de un, 33
punto exterior de un, 31
punto frontera de un, 31
punto interior de un, 31

continua, funcin, 53
continuidad, 43
continuidad de una funcin, 53
derivada, 58
de un cociente, 60
de un producto, 60
de una funcin, 58
de una suma, 60
desigualdad del tringulo, 17
diferenciable, funcin, 58
dominio, 34
ecuacin(es) de
Cauchy Riemann, 67
una circunferencia, 15
una elipse, 19
una hiprbola, 19
una recta, 19
eje imaginario, 12
eje real, 12
entorno del punto 00, 52
esfera de Riemann, 52
frmula de Euler, 22
forma exponencial de un complejo, 23
forma polar de un complejo, 20
frontera de un conjunto, 31
80

funcin armnica, 72
funcin armnica conjugada, 73
funcin compleja, 34
analtica, 71
continua en un punto, 53
continua en una regin, 53
derivada de una, 58
diferenciable, 58
dominio de una, 35
entera, 71
lmite de una, 43
recomido de una, 37
singularidad de una, 71
uniformemente continua, 55
funcin compleja de variable real, 36
funcin real de variable compleja, 36
funciones racionales, 55

interpretacin geomtrica de los, 12

mdulo de un, 13
operaciones con, 7
parte imaginaria de un, 8
parte real de un, 7
producto de, 7
races n-sima de un, 25
suma de, 7
nmeros imaginarios puros, 9
no acotado, conjunto, 33
parte imaginaria de un complejo, 8
parte real de un complejo, 7
plano w, 37
plano z, 37
plano complejo, 12
plano complejo extendido, 52
polo norte, 51
potencias y raices, 19
proyeccin estereogrfica, 52
punto de acumulacin, 33
punto del infinito, 51
punto exterior de un conjunto, 31
punto frontera de un conjunto, 31
punto interior de un conjunto, 31
punto singular de una funcin, 71

imagen de un conjunto, 37
imagen inversa de un punto, 37
interior de un conjunto, 34
interpretacin geomtrica
de la suma, 13
de los nmeros complejos, 12
del producto, 23
lmite de una funcin, 43

races n-simas de la unidad, 25

races n-simas de un complejo, 25
recorrido de una funcin, 37
regin, 34
regla de la cadena, 62

mdulo de un complejo, 13
nmero(s) complejo(s), 7
argumento de un, 20
campo de los, 8
conjugado de un, 13
forma exponencial de un, 23
forma polar de un, 20
igualdad de, 8

singularidad de una funcin, 71

topologa bsica, 31
transformacin, 37
81

ad imaginaria, 9
ormemente continua, funcin, 55
r principal del argumento, 20

82

Variable compleja: la derivada de Manuel

Valadez Rodrguez se termino de imprimir
en diciembre de 2010 en los talleres de
REGRADI, S.A. de C.V., Mendelssohn
no. 142, Col. Vallejo, Delegacin Gustavo
A. Madero, C.P. 07870 Mxico, D.F. Tel.:
551738 13.
La edicin consta de 500 ejemplares y en
los interiores se utiliz papel cultural color
paja de 90 g, en los forros cartulina couch
cubierta brillante de 300g con acabado
plastificado mate.