Comentarios

Usualmente se utiliza la misma palabra en matemticas para contextos completamente

diferentes; no hay que confundir el concepto de "dominio" definido en esta seccin con
el concepto de "dominio de una funcin".

En los problemas del 1 al 8, bosqueje la grfica de la ecuacin

indicada.
l. Re(z) = 5

3. Im(z

+ 3i)

= 6

4. Im(z - i) = Re(z
5. lz - 3il
7. lz - 4

=2

+ 3il

17. O :s arg (z)

2. Im(z) = -2

+4

- 3i)

+ ll = 4
lz + 2 + 2il =

6. l2z
=

8.

2.

En los problemas del 9 al 22, bosqueje el conjunto de puntos

del plano complejo que cumplen con la desigualdad indicada.
Determine si el conjunto es un dominio.
9. Re(z) < - 1

16. Im(l/z) < ~

15. Re(z2) > O

:S

2n/3

18. 1arg (z)l < n/4

19.l z-il>1

20. lz- il >O

21. 2 < lz - il < 3

22. 1 :s lz- 1 - il < 2

23. Describa el conjunto de puntos del plano complejo que

cumple con lz + ll = lz - il.
24. Describa el conjunto de puntos del plano complejo que
ctimple con IRe(z) l :S lzl .
25. Describa el conjunto de puntos del plano complejo que
cumple con z2 + 2 = 2.

10. IRe(z) l > 2

11. Im(z) > 3

12. Im(z - i) < 5

13. 2<Re(z-1)<4

14. - l :s Im(z) < 4

9.4

26. Describa el conjunto de puntos del plano complejo que

cumple con lz - il + lz + il = l.

Funciones de una variable compleja

Introduccin Uno de los conceptos ms importantes en matemticas es el de una funcin. Se puede recordar de cursos previos que una funcin es cierto tipo de correspondencia
entre dos conjuntos; ms especficamente: una funcin f de un conjunto A a un conjunto B
es una regla de corresponde1lcia que asigna a cada elemento de A un nico elemento en B.
Si bes el elemehto del conjunto B asignado al elemento a del conjunto A a travs def, se
dice que b es la imagen de a y se escribe b = f(a). El conjunto A se denomina el dominio
de la funcin f (aunque no es necesariamente un dominio en el sentido definido en la
seccin 9.3). El conjunto de todas las imgenes de B se denomina el rango de .la funcin.
Por ejemplo, supngase que el conjunto A es un conjunto de nmeros reales definido por
3 ::5 x < oo y que la funcin viene dada porf(x) = ~; entoncesf(3) = O,f(4) = 1,
f(8) = VS, etc. En otras palabras, el t'ango de fes el conjunto dado por O :s y < oo.
Como A es un conjunto de nmeros reales, se dice que fes una funcin de una variable
real x.
Funciones de una variable compleja Cuando el dominio A de la anterior definicin de funcin es un conjunto de nmeros complejos z, se dice que fes una funcin de
una variable compleja z o, en forma abreviada, una funcin compleja. La imagen w de
un nmero complejo z es alg!ln nmero complejo u + iv, esto es,
w

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

(1)

donde u y v son las partes real e imaginaria de w, y son funciones de valores reales. En
forma inherente al postulado matemtico (1) est el hecho de que no se puede dibujar una
428

CAPTULO 9 Funciones de una variable compleja

grfica de unafuncin compleja w = J(z) puesto que una grfica as requerira de cuatro
ejes en un sistema coordenado de cuatro dimensiones.
Algunos ejemplos de funciones de una variable compleja son
f( z) =

!(z)

z2

z es cualquier nmero complejo

4z,

i+J

f( z) = z

a) plano z

z=/= i y z=/= - i

+ Re(z),

z es cualquier nmero complejo.

b) plano w

Figu ra 9.12 Ttansformacin del

plano z al plan ~: w

Cada una de estas funciones podra expresarse en la forma (1). Por ejemplo,
f( z)

= z2

4z

= (x + iy?

- 4(x

+ iy) = (x2

4x), + i(2xy - 4y) .

As, u(x, y) = x2 - / - 4x, y v(x, y ) = 2xy- 4y.

Aunque no es posible dibujar una grfica, una funcin compleja w = f( z) puede interpretarse como un mapeo o transformacin del plano z al plano w; vase la figura 9.12.

- -+--+--+--+- ,. :1
o

x =l
'"
: :.

a) plano z

Ejemplo 1 Imagen de una lnea vertical

Encuentre la imagen de la lnea Re(z)

1 bajo la transformacinf(z)

= z2 .

b) pla no w

Figura 9.13 La 'imagen de x = 1

es una parbola

Solucin Para la funcinf( z) = z2 se tiene u(x, y) = x2 - / y v(x, y) = 2xy. Ahora,

Re(z) = x y por lo tanto, sustituyendo x = 1 en las funciones u y v se obtiene u = 1 - l y

V = , 2y. stas son ecuaciones paramtricas de una curva en el plano w. Sustituyendo
y = v/2 en la primera ecuacin, se elimina el parmetro y para obtener u = 1 - v2/4. En.
otras palabras, la imagen de la lnea en la figura 9.13a) es la parbola mostrada en la figura
9.13~.
' o

En el captulo. 12 se insiste con mayor detalle en la idea de J(z) como una transformacin.
Debe observarse que una funcin compleja viene determinada completamente por
las funciones reales u y v. Esto significa que una funcin compleja w = f( z) se define
especificando arbitrariamente u(x, y) y v(x, y) , incluso aunque u + 'iv no pueda obtenerse
slo mediante operaciones comunes sobre el smbolo z. Por ejemplo, si u(x, y) = x/
y v(x, y) = x2 - 4i, entoncesf(z) = x/ + i(x2 - 4i) es una funcin de una variable
compleja. Para calcular, digamos,/(3 + 2i) se sustituye x = 3 y y = 2 en u y v para obtener
/(3 + 2i) = 12 - 23i.

Y,

//(ll

""

\\""
\\\".."

///1
//111
//1//;

\\\".."
\\\'\.."
, , , \'\i 11///
y//
~~~~\ :; / / / /
'-"-\\\ /:1 j / /
Figura 9.14 f 1 (i)
(norma lizada)

1,

Funciones complejas como fluidos Una funcin compleja w = j(z) se puede interpretar tambin co~o un flujo de fluido bidimensional considerando el nmero complejo
f(z) como un vector basado en el punto z. El vectorf(z) especifica la rapidez y la direccin
del flujo en un punto determinado z. Las figuras 9.14 y 9.15 muestran los flujos correspondientes a las funci0nes complejasf1(z) = y fi( z) = z2 , respectivamente.
Si x(t) + iy(t) es una representacin paramtrica de la trayectoria de una partcula en el
flujo, el vectortangente T = x ' (t) + iy' (t) debe coincidir conf(x(t) + ,iy(t)). Cuandof(z) =
u(x, y) + iv(x, y) se infiere que la trayectoria de la partfcula debe satisfacer el sistema de
ecuaciones diferenciales siguiente

dx

dt

'
""

f
'

f-

"" .....'

, , ,
+

= u(x, y )

-- .. .:,'
,,
.,

9.4 Funciones de una variab le compleja

f~ : ~

-"'+~~

+ +~ \
~

-"

-"
X

.~ "' o
-;

' " ""

't t '
,' ;
t

~ \
\

dy
dt = v(x , y).

\,~

\
\

/;

'1

'

'

Figura 9.15 / 2(z) != z2

(normalizada)

.1

429

A la familia de soluciones de este sistema se le llama lneas de corriente asociadas aj(z).

Ejemplo 2 Lneas de corriente

.. Encuentre las lneas de corriente asociadas a las funciones cotnplejas : a) f 1(z)
b)i2(z) = z2 .

Solucin a) Las lneas de corriente correspondientes aj1(z)

Zy

= x - iy cumplen con el

sistema
dx
-=x
dt
dy

-y

dt

por lo que x(t) = c 1e' y y(t) = c2 ~ - '. Multiplicando estas dos ecuaciones paramtricas,
se ve que el punto x(t) + iy(t) se encuentra sobre la' hiprbola xy = c 1c 2
b) Para encontrar las lneas de corriente correspondientes a f 2(z) = (x 2
obsrvese que dx/dt = x 2
dyldt = 2xy, y por lo tanto

-l.

/)

i2xy,

2xy

dy
dx

/'

Esta ecuacin diferencial homognea tiene como solucin x 2 + / = C2.)', que es una
familia de crculos que pasan po_r el origen y cuyos centros se localizan sobre el eje y.

o
11 Limites y continuidad La definicin de lmite de una funcin complejaj(z) cuando
z ~ z0 tiene la misma apariencia que el lr~te de las variables reales.

Lmite de una funcin

Supngase que la funcin! est definida en una vecindad de z0 , excepto posiblemente
en el mismo Zo Entonces se dice quefposee un lmite en z0 , escrito como
lmf(z)

z--->z.,

si, para cada E> O, existe una 8 >O tal que lf(z) - Li <E siempre que O< lz - zol < 8.

Figura 9.16 Significado

geomtrico de un lmite complejo

Expresndolo en palabras, el lmz->zof(Z) = L significa que los puntos f(z) se pueden

acercar arbitrariamente al punto L, si se elige el punto z suficientemente cercano, aunque
no igual, al punto z0 . Como se muestra en la figura 9.16, para cada E-vecindad deL (definido por I!Cz) - Li <E) existe una 8-vecindad de z0 (definida por lz - z0 < 8) tal que las
imgenes de todos los puntos z z0 en esta vecindad se encuelltran en la E -vecindad de L.
La diferencia fundamental entre esta definicin y el concepto de lmite en variables
reales radica en la comprensin de que z ~ z0 . Para una funcin f de una variable real x,
lm<->.,{lj(x) = L significa que J(x) se acerca aL al acercarse x a x 0 , ya sea por su derecha o
por su izquierda, sbbre la lnea de nmeros reales. Pero como z y z0 son puntos e11 el plano
complejo, cuando se dice que existe ellmz--'>zof(z) se entiende quej(z) se acerca aL cuando el punto z se acerca a z0 desde cualquier direccin.
El siguiente teorema sintetiza algunas propiedades de los lmites:

430

CAPTULO 9 Funciones de una variable compleja

a) vecindad

b) veci ndad

Lmite de la suma, el producto

y el cociente
Supngase que lmz-->Zo f( z:) = L 1 y lmz-->zo g(z) = ~ Entonces:

i) lm [f(z)

+ g(z)] = L 1 +

z--t l-o

ii) lm f( z)g(z)
z--> <o

L2

= L 1L 2

Continuidad en un punto

Una funcinfes continua en un punto z0 si lm f( z) = f( z0 ).

'

z--H{I

Como consecuencia del teorema 9. 1 se tiene que si dos funciones f y g son continuas
en un punto z0 , entonces su suma y su producto son continuos en z0 . El cociente de las dos
funciones es continuo en z0 siempre y cuando g(z0) i= O.
Una funcinf definida por
(2)

donde n es un entero no negativo y los coeficientes a,. i = O, l , ... , n, son constantes

complejas, se denomina polinomio de grado n. Aunque no se demuestra aqu, el resultado
del lmite lm z = z0 indica que la funcin polinmica simplef(z) = z es continua en todos
z--> z,

los puntos, esto es, en todo el plano z. Considerando este resultado y aplicando repetidamente los teoremas 9.1 ii) y i), se deduce que una funcin polinmica (2) es continua en
cualquier punto. Una funcin racional

g(z)
f( z) = h(z)'
donde g y h son funciones polinmicas, es continua excepto en aquellos puntos para los
cuales h(z) es O.

Derivada La derivada de una funcin complej a se define en trmi nos de un lmite. El

smbolo utilizado ~z en la siguiente definicin es el nmero complejo Lll: + i~y.

:::

Derivada
Supngase que la funcin complejafse define en la vecindad de un punto
rivada de f en z0 es

'( ) _
Zo -

,
f(zo
1tm

t. z--> 0

+ ~ z) - f (zo)
A

uz

z0 . L a de-

(3)

siempre y cuando exista dicho lmite.

.' "'
Si el lmite (3) existe, se dice que la funcin fes derivable en z0 . La derivada de una
funcin w = f( z) tambin se escribe d w/dz.
Como sucede con las variables reales, las funciones deri vables deben ser continuas:
Si f es deri vable en z 0 , entonces! es continua en z0.

9.4 Funciones de una variable compleja

Es ms, las reglas de derivacin son las mismas que en el clculo de variables reales. Si
y g .son derivables en un punto z, y e es una constante compleja, entonces:

Reglas de la constante: - e= O,

dz
d

d
dz ef(z) = ef' (z)

GZ [f(z) + g (z)]

Regla de la suma:
Regla del producto:

(4)

'

= f'( z) + g'(z)

(5)

d
dz [f( z)g(z)] = f( z)g' (z) + g(z)f' (z)

(6)

~ [f(z) J = g(z)f'(z) - f( z)g'(z) .

Regla del cociente:

dz g(z)

[g(z)

(7)

d
d/ (g( z)) = f'(g( z))g'(z).

Regla de la cadena:

(8)

La regla comn para la derivada de potencias de z tambin es vlida:

-d z" = nl'- 1, siendo n un entero.

dz

(9)

Ejemplo 3 Uso de las reglas de derivacin

'

'

Derive a)f(z) = 3z4

Solucin

5z3 .+ 2z y b)f(z) = _z_. .

4z + 1

a) Utilizmdo la regla de la potencia (9) junto con la regla de la suma (5) se

obtiene

f' (z) =

3 4z3

5 3z2

+ 2 = 12z3

15z2

+ 2.

b) De la regla del cociente (7) ,

(4z + 1) 2z - z2 4
f (z) =,
(4 z + 1?

4z2

+ 2z

(4 z +

lf

Para que una funcin complejafsea derivable en un punto z0 , lm

f( zo + tl z) - f( zo)

l>z--->0

uz

debe tender a:I mismo nmero complejo desde cualquier direccin . As, en el estudio
de variables complejas, son mayores los requisitos para que una .funcin sea derivable que
en el caso de variables reales. Si se inventa una funcin compleja, por ejemplo f(z) = x +
4iy, es muy probable que no sea derivable.

Ejemplo 4 Funcin que no es derivab le en punto alg uno

Demuestre que la funcinf( z) = x + 4iy no es derivable en punto alguno.
Solucin Considerando tlz = 6.x + itly se tiene
j(z + tlz) - f( z) = (x + .x) + 4i( y + tly) - x- 4iy = 6.x + 4itly
y por lo tanto

hm
l> z--->'0

f( z + tl z) - f( z)
tl z

hm
l> z--->0

.x + 4itly
.
tlx + itl y

(10)

Ahora, si se considera que .z -t O a lo largo de una lnea paralela al eje x, entonces tly = O
y el valor de ( 10) es l . Por otro lado, si se considera que tlz -t O a lo largo de una lnea
paralela al eje y, entonces 6.x = O y se ve que el valor de (lO) es 4. Por lo tanto,f(z) = x +
4iy es derivable en ningn punto z.
O

432

CAPTULO 9 . Funciones de una variable compleja

 Funciones anallticas Si bien los requerimientos para que una funcin sea derivable son severos, existe una clase de funciones sumamente importante, cuyos miembros
cumplen incluso con condiciones ms severas. Estas funciones se denominan funciones

analticas.

Analiticidad en un punto
Se dice que una funcin compleja w = f(z) es analtica en un punto z0 sifes derivable en z0 y en todo punto de alguna vecindad de z0

Una funcin! es"analtica en un dominio D si es analtica en todos Jos puntos de D.

La definicin 9.7 se debe leer cuidadosamente. La analiticidad en un punto es una
propiedad de vecindad . La analiticidad en un punto no es , por lo tanto, sinnimo de
derivabilidad en un punto. Se deja como ejercicio demostrar que la funcinf( z) = lzl2 es
derivable en z = O, pero no es deri~able en cualquier otro punto. As pues,f(z) = lzl2 es no
analtica en todo punto. En contraste, el polinomio simplef(z) = z2 es derivable en cualquier punto z del plano complejo y, por ende,f(z) = z2 es analtica en cualquier punto.
Una funcin qu es analtica en cualquier punto z es upa funcin entera. Los polinomios
son derivables en todo punto z y por esta razn son funciones enteras.

Comentarios

Hay que recordar que un nmero e es un cero de un polinomio si y slo si x - e es un

factor def(x). El mismo resultado es vlido para el anlisis complejo. Por ejemplo, puesto quef(z) = z4 + 5z2 + 4 = (z2 + l)(z2 + 4), los cei-os defson -i, i, -2i y 2i. Por lo
tanto,f(z) = (z + i)(z - i)(z + 2i)(z - 2i). Asimismo, la frmula cuadrtica tambin es
vlida. Por ejemplo, utilizando esta frmula se escribe

f(z) = z2

2z

+2

= (z - (1

= (z - 1 - i)(z - 1

+ i))(z-

(1 - i))

+ i).

Vanse los problemas 21 y 22 de los ejercicios 9.4.

En los problemas del 1 al 6, encuentre la imagen de la lnea indicada bajo la transformacinf(z) = z2 .

l. y=2

2. x= - 3

3. ~=O

4. y= O

5. y =

6. y= -x

X .

a)

2i

b)

16. f( z) = (x
a)

8. f( z) = 7z - 9iz - 3
9. f( z) =
11. f( z) =

13. f( z) =

z2 - 3z + 4i
z3 - 4z
z + llz

a)

+ 2i
10. f( z) =

3r + 2z

12. f( z) = z4

14. f( z) = - z+ 1

En los problemas del 15 al 18, calclese la funcin indicada en

los puntos dados.

+ i(4x

b)

e)

+ 3i

e)

+ 4i

e)

2 - 7i

e)

2l -1!:4)

2- i

+ iz + Re(z)

a) 4 - 6i
18. f( z) =

7. f( z) = 6z - 5 + 9i

1/x)

1+i

17. f( z) = 4z

En Jos problemas del 7 al 14, exprese la funcin indicada en la

fmmaf(z) = u + i~.

+ 1+

2 - i

b)

-5

12i

ecos y + ie'. sen y

b)

wi/4

-1 - 'Tri

+ wi/3

En los problemas del 19 al 22, el lmite indicado s existe; encuentre su valor.

'
19. lm( 4z3
20.

lm
z-> 1- i

5z2

5z2
-

+ 4z +

2z

z+ 1

9.4 Funciones de una variab le compleja

1 - Si)

433

z4

21. lm--

z--> ; Z -

En los
existe.

z--> 1 + ;

pr~blemas

- 2z + 2
-z2 - 2i

23 y 24, demuestre que el limite indicado no

X+ y- 1
24. lm ------'--z--> 1
Z - 1

z
z-->0 z
'

23 . 1Jm

z2

lm - --

22.

25. f(z) = z2 '

26. f(z) =

1/z2

En los problemas del 27 al 34, utilice (4)-(8) para encontrar la

derivadaf'(z) de la funcin indicada.

f(z)

(3

28. f(z) = 5z4

iz3 + (8 - i)z2

+ l)(z - 4z + 8i)
5
(z + 3iz3 )(z4 + iz3 + 2z2

31. f(z)

33.

= (z

f (z) =

4i)

3z - 4 + 8i
2z+i

34.

+z
+4

2
2

38.

2i
z2

+ 5iz
z - 4 + 3i
f( z) = 2
z - 6z + 25
2z

zno es derivable en

40. La funcin f( z) = lzl2 es continua a lo largo de todo el

plano complejo. Demuestre que, sin embargo, es derivable nicamente en el punto z = O. [Sugerencia: Utilice (3)
y considere dos casos: z = O y z =/=- O. En el segundo caso
haga que ~ z tienda a O a lo largo de una lnea paralela
al eje x y despus haga lo mismo alo largo de una lnea
paralela al eje y. ]

43. f( z) = 11

6iz)

32. f(z)

37: f(z)

42. f(z) = iz

41. f( z) = 2z

29. f(z) = (2z

30. f(z) =

6i

36. f(z)

En los problemas del41 al44, encuentre las lneas de corriente

del flujo asociadas con la funcin compleja indicada.

+ i)z2 - 5z + 4

4z3

27.

z
z - 3 ,

= - -.

39. Demuestre que la funcin f( z) =

punto alguno.

En los problemas 25 y 26, utilice (3) para obtener la derivada

indicada de la funcin dada.

f' (z) = 2z
1/z, f' (z) = -

35. f( z)

( )

f z

= (2z -

lid

44. f(z) = x 2

il

En los problemas 45 y 46, utilice una calculadora que grafique o

una computadora para obtener la imagen de la parbola indicada
bajo la transformacinf(z) = z2.

5z - z
= ----::-3- z+ l

.46. y = (x - 1) 2

En los problemas del 35 al 38, seale los puntos en los cuales la

funcin indicada no es analtica.

1.1 9.5

Ecuaciones de Cauchy-Riemann

11 Introduccin . En la seccin anterior se plantea que una funcin f de una variable

.compleja z es analtica en un punto z cuando fes derivable en z y tambin derivable en
todos los puntos de alguna vecindad de z. Este requisito es ms estricto que simplemente
la derivabilidad en. un. punto, ya que una funcin compleja puede ser derivable en un punto
z aunque no sea derivable en todos los dems. Una funcinf es analtica en un dominio D
si fes derivable en todos los puntos de D. A continuacin se desarrolla una prueba para la
analiticidad de una funcin complejaf(z) =u(x, y) + iv(x, y).
11 Una condicin necesaria para la ana liticidad En el prximo teorema se. observa
que si una funcinf(z) = u(x, y) + iv(x, y) es derivable en un punto z, entonces las funciones u y v deben satisfacer un par de ecuaciones que relacionan sus derivadas parciales de
primer orden. Este resultado es una condicin necesaria para la analiticidad.

Ecuaciones de Cauchy- Riemann

Supngase quef(z) = u(x, y).+ iv(x, y) es derivable en un punto z = x + iy. Entonces
existen las derivadas p~ciales de primer orden de u y v en el punto z que cumplen con
las ecuaciones de Cauchy-Riemann

au
ax

av

au

ay

ay

av
ax

(1)

Demostracin Como f' (z) existe se sabe que

!
434

'( :)
Z

= 1JIU
fi z--> 0

f( z

+ ~ z) - !(z)
~z

CAPTULO 9 Funciones de una variable compleja

(2)