1

2. Funciones de variable compleja

Gary Larson
2
Conjuntos de puntos en el plano complejo
Un conjunto S de puntos en el plano complejo es
cualquier coleccin finita o infinita de puntos en el plano
complejo. Por ejemplo las soluciones de una ecuacin
cuadrtica, los puntos de una lnea, los puntos del interior
de un crculo, etc.

Qu lugares geomtricos describen las siguientes ecuaciones?
| o < < z Arg
La ecuacin Arg z= o define una semirecta infinita de pendiente
o. Entonces la desigualdad anterior define un sector infinito
comprendido entre las semirectas infinitas Arg z= o y Arg z= |.
| o < < ) Arg(
o
z z
(...)
3
Un conjunto de puntos S se llama abierto si cada punto de
S tiene un vecindad constituida enteramente por puntos que
pertenecen a S. Por ejemplo los puntos del interior de un
crculo o un cuadrado.

El complementario de un conjunto de puntos S es el
conjunto de todos los puntos que no pertenecen a S.

Un conjunto de puntos S se llama cerrado si su
complementario es abierto. Ej.: los puntos sobre y dentro de
una circunferencia o un cuadrado, puesto que sus
complementarios (los puntos exteriores a la circunferencia o
al cuadrado) son abiertos.
4
La distancia entre dos puntos z y a es |z-a|. De modo que un
crculo C de radio y centrado en a, puede expresarse como:
|z-a| =

a

x
y
z
En particular, el crculo de radio unidad
centrado en el origen puede escribirse
como: |z| = 1
x
y
1
i
C es abierto o cerrado?
5
Los puntos dentro del crculo C vienen representados por:
|z-a| < (un entorno abierto centrado en a).
define un entorno
circular cerrado centrado en a.
a

x
y
z
a

x
y
z
0 < |z-a| < define un entorno punteado
o reducido.
s |z-a|
} | | / { ) , ( < e = a z C z a B
6
El anillo abierto de radios
1
y
2
, viene
dado por:
1
< |z-a| <
2
a

1
x
y

2
7
(1) Determina la regin en el plano complejo dada por:

|z-3-i| 4
Es la regin circular cerrada de radio 4
con centro en 3+i.
(2) Determina las regiones: (a) |z|<1; (b) |z| 1; (c) |z| >1
4
x
y
3+i
(a) Crculo unidad abierto (b) Crculo unidad cerrado (c) Exterior del crculo unidad.

8
Re(z) > 1 (No es un conjunto abierto).
9
10
Qu lugar geomtrico describe la siguiente ecuacin?
5 | 2 | | 2 | = + + z z
Una elipse de focos en -2 y 2 (suma de distancias a
los focos igual a 5) con semieje mayor igual a 5/2).
2
-2
Ejercicio: Qu representan las
siguientes ecuaciones?
c b z a z c
c b z a z b
c b z a z a
s
> +
= +
| | | | ) (
| | | | ) (
| | | | ) (
11
Qu lugar geomtrico describen las siguientes ecuaciones:
1 Im | | ) (
3 ) Re( | 2 | ) (
| | | | ) (
+ =
+ =
=
z i z f
z z e
c b z a z d
Nota: Busca las definiciones de parbola e hiprbola.
12
Un punto interior de un conjunto S es un punto para el que
podemos encontrar un entorno o vecindad cuyos puntos
pertenecen todos a S. Por ejemplo, el centro de un crculo.
Un punto frontera de un conjunto S es un punto tal que
todo entorno alrededor de l contiene puntos que pertenecen a
S y que no pertenecen a S. Por ejemplo los puntos que forman
la frontera de un crculo.
Si un punto no es interior ni frontera de un conjunto de
puntos S, entonces es un punto exterior a S.
Entonces, si S es abierto no posee puntos frontera, solo
puntos interiores. Si S es cerrado posee tambin a sus puntos
frontera.
Algunos conjuntos no son ni abiertos ni cerrados. Contienen
algunos puntos frontera. Por ejemplo un entorno punteado.
El plano complejo C es abierto y cerrado a la vez. No posee
puntos frontera.
13
Una regin es un conjunto formado por un dominio, ms,
quizs, algunos o todos sus puntos frontera (Cuidado:
algunos autores usan regin para indicar dominio).
Un conjunto es acotado si todo punto de S est dentro de
algn crculo |z| = R. En caso contrario es no acotado.
Un punto de S se dice que es de acumulacin si cada
entorno punteado del mismo contiene al menos un punto de S.
Entonces, si S es cerrado contiene a todos sus puntos de
acumulacin.
Un punto no es de acumulacin si existe un entorno
punteado del mismo que no contenga puntos de S. P.ej.:
Todos los puntos del conjunto S = {i/n} (n = 1,2,...) no son de
acumulacin a excepcin del cero.
14
Semiplanos infinitos
x
y
Inferior: z = x+iy tales que y < 0 o Im(z) < 0.
Semiplano superior: el conjunto de todos los
puntos z = x+iy tales que y > 0 o Im(z) > 0.
Derecho:
z = x+iy tales que x > 0 o Re(z) > 0.
Izquierdo:
z = x+iy tales que x < 0 o Re(z) < 0
x
y
x
y
x
y
Qu regiones describen?
(a) Im(z) = 0, (b) Im(z) = a,
(c) Re(z) = 0, (d) Re(z) = a
15
16
Conjuntos conexos
Son los siguientes conjuntos de puntos dominios?



No existe camino entre
el tringulo inferior y el
tringulo superior.
a

x
y
Un disco abierto
a

1
x
y

2
Un anillo
abierto
x
y
Un cuadrado abierto
sin diagonal.
Un conjunto S se llama conexo si cualquier par de sus puntos pueden
conectarse mediante un camino formado por puntos que pertenecen a S.
Un abierto conexo se denomina dominio (en algunos textos se denomina
regin). P.ej.: todo entorno es un dominio.
17
Teorema:

Cualesquiera dos puntos de
un dominio pueden unirse
por medio de una lnea
poligonal contenida en el
dominio.

18
Funciones complejas
Sea S un conjunto de nmeros complejos z = x+iy.
Una funcin f definida sobre S es una regla que asigna a
cada z en S un nmero complejo w llamado valor de f en z.
w = f(z)
z es una variable compleja.
S es el dominio de definicin de f.
El conjunto de valores de la funcin f se llama rango de f.

Como w es complejo (w = u+i v; con u y v reales) podemos
escribir:
w = f(z) = u(x,y) + i v(x,y)
Una funcin compleja f(z) es equivalente a un par de funciones
reales u(x,y) y v(x,y), cada una dependiente de dos variables
reales x e y.
19
) , ( y x u
) , ( y x v
Ejemplos:
) (z f w=
) 2 ( ) (
) (
) (
2 2
2
2
xy i y x
iy x
z z f
+ =
+ =
=
) , ( ) , ( y x v i y x u w + =
Funcin de
variable
compleja
) , ( y x u ) , ( y x v
) 6 2 ( ) 2 6 (
) ( 6 ) ( 2
6 2 ) (
y x i y x
y i x y i x i
z iz z f
+ =
+ + =
+ =
) (z f
i z 2 3+ =
i
i
y x i y x z f
6 14
) 2 6 3 2 ( ) 2 2 3 6 (
) 6 2 ( ) 2 6 ( ) (
=
+ =
+ =
Cul es el valor de
en ?
Parte real Parte imaginaria
Cules son los
dominios de
definicin de estas
funciones?
20
Ejemplos:

Polinomios de grado n:


donde c
0
, c
1
...c
n
son constantes complejas y c
n
es distinto de
cero.
Funciones racionales (cocientes de polinomios):

Si en f(z) = u+iv, v = v(x,y) = 0, entonces f es una
funcin de variable compleja con valores reales. P.ej.:
f(z)= |z|
2
= x
2
+ y
2
.
n
n
z c z c z c z c z c c z P + + + + + + =
4
4
3
3
2
2 1 0
) (
) (
) (
z Q
z P
21
22
x
Funciones de variable real
) (x f y =
2
) ( x x f =
Representacin
geomtrica
cartesiana
Variable real
y
Asignacin
23
x
) (z f w=
2
) ( z z f =
y
i + 1
i 2
1
Funciones de variable compleja
Cmo representarlas geomtricamente?
Parte imaginaria
1 +
Asignacin
Parte real
Imagen
Preimagen. Cul es la otra?
1 ) 1 ( ) 1 (
2
= = f
i i i f 2 ) 1 ( ) 1 (
2
= + = +
24
Representacin mediante dos planos: z y w
y i x z + =
i z + = 1
3
i z 2 1
2
=
i z = 2
1
v i u w + =
i w 4 3
1
+ =
i w 4 3
2
=
1
4
= z
1
4
+ = w
i w 2
3
=
x
y
Plano z
2
) ( z z f =
u
v
Plano w
Cmo transforman ?
z f(z) (c) iz, f(z) (b) c, z f(z) (a) = = + =
25
26
Transformaciones mediante funciones lineales

Existen muchas situaciones prcticas donde podemos simplificar
un problema mediante una transformacin en el plano complejo.
) , ( ) , (
) , ( con ) (
2 1
2 1
c y c x w y x z
c c c c z z f w
+ + = =
= + = =
Translacin:
) |, | ( ) , (
)] sin( ) [cos( | | ) sin (cos
) sin (cos | | con ) (
| u u
u | u | | |
u u
+
+ + + + =
+ = = =
b r r
i b r i r z
i b b bz z f w
Rotacin alrededor del origen y alargamiento/contraccin:
27
Funciones lineales
c bz z f w + = = ) (
Translacin
Rotacin y alargamiento/contraccin
Ejemplo:
) 1 ( ) ( + + = = i iz z f w
Esta funcin transforma el cuadrado A en el cuadrado B.
28
2
) ( z z f =
x
y
u
v
)] 2 sin( ) 2 [cos(
2 2
u u i r z w z + = =
La funcin/transformacin
Es biyectiva la transformacin?
Plano z
Plano w
29
2
) ( z z f =
x
y
u
v
)] 2 sin( ) 2 [cos(
2 2
u u i r z w z + = =
Cmo puede ser? Si a cada punto de la semicircunferencia del
plano z le corresponde un solo punto del plano w, cmo media
circunferencia se transforma en una entera? No hay el doble de
puntos en una circunferencia que en media?
Plano z
Plano w
30
] 1 , 0 [ ; ) 1 ( ) (
2
e + =

z z z f
31
] 1 , 0 [ ; ) 1 ( ) (
2
e + =

z z z f
32
0 ) , ( = y x F
) ( ) ( ) ( t iy t x t z z + = =
) , ( ) , ( ) ( y x iv y x u z f w + = =
0 ) , ( = u v u
Curva en el plano z
Transformacin f(z)
Curva en el plano w
Parametrizamos la curva:
)] ( ), ( [ ) (
)] ( ), ( [ ) (
t y t x v t v
t y t x u t u
=
=
Obtenemos la transformacin
de la parametrizacin:
Y de aqu la curva transformada:
En general
33
En qu curva se transforma una circunferencia de radio
unidad centrado en el origen a travs de la funcin f(z)=z
2
?
) 2 ( ) (
) ( ) (
2 2
2 2
xy i y x
iy x z z f
+ =
= + = =
0 1 ) , (
2 2
= + = y x y x F
t t y t t x iy x z
t t i t t z z
sin ) ( , cos ) ( ;
) 2 , 0 [ , sin cos ) (
= = + =
e + = = t
) 2 sin( sin cos 2 ) (
) 2 cos( ) (sin ) (cos ) (
2 2
t t t t v
t t t t u
= =
= =
0 1 ) , (
2 2
= + = u v u v u
La imagen traza una circunferencia de radio unidad centrada en el
origen dando dos vueltas.
Circunferencia de radio unidad
centrada en el origen:
Parametrizamos.
Todos los puntos de la cincurferencia
pueden expresarse como:
La transformacin es:
xy y x v
y x y x u
2 ) , (
) , (
2 2
=
=
En componentes:
Usando la parametrizacin:
Que nos proporciona la curva:
34
] 1 , 0 [ ; ) 1 ( ) (
2
e + =

z z z f
35
Encuentra la imagen de la lnea Re(z) = 1 bajo la
transformacin f(z) = z
2
.

Re(z) = x = 1,



y xy y x v
y y x y x u
iy x z z f
2 2 ) , (
1 ) , (
) ( ) (
2 2 2
2 2
= =
= =
+ = =
4 / 1 entonces , 2 /
2
v u v y = =
36
En qu curvas se transforman rectas verticales en el
plano z a travs de la funcin f(z)=z
2
en el plano w?
k x =
ky xy y x v
y k y x y x u
2 2 ) , (
) , (
2 2 2 2
= =
= =
iy k z + =
La ecuacin de un parbola abierta hacia la izquierda:
con vrtice en (k
2
, 0) y foco en el origen.


Idem para rectas horizontales (pero sern parbolas
hacia la derecha):
) ( 4
2
2 2 2
2
k u k v
k
v
y
u k y
=

=
=
ik x z
k y
+ =
=
kx xy y x v
k x y x y x u
2 2 ) , (
) , (
2 2 2 2
= =
= =
) ( 4
2
2 2 2
2
k u k v
k
v
x
k u x
=

=
=
37
Tomemos como dominio un rectngulo con esquinas en 3/23/2i. Observa
como las lneas verticales, formadas por complejos de parte real constante, se
convierten en parbolas abiertas hacia la izquierda. Y las lneas horizontales,
formadas por nmeros complejos de parte imaginaria constante, en parbolas
abiertas a la derecha. Observa tambin como los ngulos entre rectas amarillas y
rosas siguen siendo rectos: la transformacin es conforme. .
http://www.ima.umn.edu/~arnold/complex.html
Douglas N. Arnold
38
] 1 , 0 [ ; ) 1 ( ) (
2
e + =

z z z f
39
40
41
) 2 , ( ) , (
2 ) , ( ) , (
2 2
2 2
xy y x y x
xy y x v y x y x u

= =
Observa que puesto
que la transformacin
w = f(z) = z
2
es:
Los puntos z sobre la hiprbola x
2
y
2
= k se transforman en lineas u = k.
Los puntos z sobre la hiprbola 2xy = k se transforman en lineas v = k.

42
f(z) = z
2
Esquema de color dependiente del valor real
Dominio Rango
http://winnie.fit.edu/~gabdo/function.html
43
f(z) = z
3
Esquema de color dependiente del argumento
Dominio Rango
44
Lmite de una funcin compleja

Una funcin f(z) se dice que tiene lmite w
0
cuando z tiende a z
0
, y
se escribe:







u
si f est definida en un entorno de z
0
(a excepcin tal vez de z
0
mismo) y si:
real c > 0, - un real o > 0: z = z
0
, y |z - z
0
| < o, entonces |f(z) - w
0
| < c.

0
) ( lim
0
w z f
z z
=

x
z
0

o
y
z
w
0

c
v
f(z)
En general o=o(c, z
0
)

Si el lmite existe,
es nico.
Es decir: si dado un entorno de radio c alrededor del lmite, podemos
determinar un entorno de radio o(c, z
0
) alrededor de z
0
.
45
Observemos que como en el caso de variable real, la definicin
de lmite no nos dice cmo encontrarlo.
Demostremos que:
i i z
i z
2 ) ( lim = +

| | | 2 ) ( | | ) ( |
| | | |
) (
0
0
i z i i z w z f
i z z z
i z z f
= + =
=
+ =
Utilizando la notacin anterior, tenemos en este caso:
c < < | | 0 i z
o < < | | 0 i z
Tomando o = c,
por ejemplo,
siempre se
cumple.
Ejercicio: Demostrar que si el lmite existe,
es nico. (Nota: Suponer dos valores distintos
para el lmite, aplicar definiciones y demostrar entonces
que ambos valores han de ser, a la fuerza, el mismo).
46
Cul es el equivalente a lmite por la derecha y por la izquierda
de variable real en el caso de variable compleja?
En el plano complejo podemos acercarnos al lmite a travs de
una infinidad de trayectorias. Por ejemplo:
z z f Arg ) ( =
x
y
0
z
1
C
2
C
Toda vecindad de z
0
contiene
valores de Arg z en el segundo
cuadrante arbitrariamente cerca
de , pero tambin del tercer
cuadrante arbitrariamente cerca
de . Acercndonos por C
1
y por
C
2
obtenemos dos valores distintos
del lmite.
t
t
t t + s < z Arg
47
Ejemplo
y x
y y i
y x
x x
z f
+
+
+
+
+
=
) (
) (
2 2
Esta funcin no est definida para z = x+iy = 0, (x = 0, y = 0).
Veamos que no existe el lmite de la funcin cuando z tiende a 0.
(1) Nos aproximamos al origen a lo largo del eje y. Tomando
x=0 en f(z), tenemos:
) 1 (
) (
) (
2
0
+ =
+
=
=
y i
y
y y i
z f
x
Que se aproxima a i,
a medida que nos
acercamos al origen.
(2) Tomando y=0 nos aproximamos a lo largo del eje x:
1 ) (
2
0
+ =
+
=
=
x
x
x x
z f
y
Que tiende a 1.
Como el lmite por ambos
caminos no coincide, el
lmite no existe.
48
Propiedades de los lmites
Sean w
0
y w'
0
los lmites, cuando z
tiende a z
0
, de f(z) y g(z) respectivamente. Entonces:





En particular si f(z) = g(z) = z :

y por induccin: Como adems:

Entonces, para un polinomio P(z) = a
0
+a
1
z+...+a
n
z
n
,

tendremos:
0 si
) (
) (
lim
)] ( ) ( [ lim )] ( ) ( [ lim
'
0
'
0
0
'
0 0
'
0 0
0
0 0
= =
= + = +

w
w
w
z g
z f
w w z g z f w w z g z f
z z
z z z z
2
0
2
0
lim w z
z z
=

n n
z z
w z
0
0
lim =

c c
z z
=

0
lim
) ( ) ( lim
0
0
z P z P
z z
=

Nota: Es fcil demostrar estas

propiedades a partir de u(x,y) y v(x,y).
49
Punto del infinito
50
Punto del infinito
El nmero complejo infinito o punto del infinito,
denotado por , no posee signo ni argumento.

Su mdulo es mayor que |z| para todo z complejo.

Es un punto del plano complejo? No es localizable,
pero s alcanzable a travs de cualquier trayectoria
en la que |z| sea creciente.

Se opera como en los reales. Por ejemlo:
z / = 0, z/0 = , etc.

Cuando el plano complejo incluye al punto del infinito ,
hablamos de plano complejo extendido.

51
Funciones complejas continuas
Decimos que f(z) es continua
en una regin si es continua
en todo punto de la regin.
Una funcin f(z) se dice que es continua en z = z
0
si f(z
0
)
est definida en z
0
y

) ( ) ( lim
0
0
z f z f
z z
=

Ejercicio:Las sumas, diferencias y productos de funciones

continuas son continuas. El cociente de dos funciones
continuas es continuo salvo en los puntos en que se anula el
denominador. La composicin de funciones continuas es
continua. Sea f(z) = u(x,y) + iv(x,y), entonces u y v sern
continuas en todo punto en el que f(z) lo sea. Y a la inversa:
f(z) ser continua en todo punto en que u(x,y) y v(x,y) lo sean.


(Nota: si en el lmite o = o(c, z
0
)
no depende de z
0
, la continuidad
es uniforme).

52
Ejemplo:
Sea:

=
=

+
=
i z i
i z
i z
z
z f
, 3
,
1
) (
2
Es continua f(z) en z = i? (1) f(i) = 3i est definido.
(2) Calculemos el lmite de la funcin cuando z tiende a i:
i i z
i z
i z i z
i z
z
i z i z i z
2 ) ( lim
) )( (
lim
1
lim
2
= + =

+
=

+

El lmite existe pero no coincide con el valor de la funcin:
la funcin no es continua.
53
Funciones continuas
Ejercicios:

(1) Sea f(z) = u(x,y) + iv(x,y), entonces u y v sern
continuas en todo punto en el que f(z) lo sea.

(2) Y a la inversa: f(z) ser continua en todo punto en que
u(x,y) y v(x,y) lo sean.

Nota: Recuerda que, u(x,y) ser continua en (a,b) sii
lim
(x,y)(a,b)
u(x,y) = u(a,b).
54
Transformacin w = f(z) = 1/z

En este caso la transformacin s es biyectiva,
excluyendo al origen. En coordenadas polares la
transformacin es:
) , / 1 ( ) , ( u u r r
Una inversin en el crculo
unidad (lo de fuera pasa adentro
y al contrario) seguida de una
reflexin respecto al eje x.

Las circunferencias de radio r se
convierten en circunferencias de
radio 1/r. En particular, una
circunferencia de radio unidad
permanece invariante.

55
f(z) = 1/z
Esquema de color dependiente del argumento
Dominio Rango
) , / 1 ( ) , ( u u r r
Biyeccin
"We may thus think of the interior of the unit circle as a condensed image, a
microcosmos, of its exterior". To infinity and beyond, Eli Maor
56
f(z) = 1/z
Esquema de color dependiente del mdulo
Dominio Rango
) , / 1 ( ) , ( u u r r
?
Qu figura permanece invariante?
57
2 2 2 2
2 2 2 2
2 2 2 2
;
: ente simtricam y
;
;
1
); , ( ) , (
1 1
) (
y x
y
v
y x
x
u
v u
v
y
v u
u
x
v u
v
i
v u
u
iv u
iy x
y x iv y x u
iy x z
z f
+

=
+
=
+

=
+
=
+

+
=
+
= +
+ =
+
= =
Veamos con ms detalle la transformacin f(z) = 1/z.
58
Ejemplo: Cul es la imagen de la recta x = c bajo la transformacin
f(z) = 1/z?
Es decir, un crculo de centro
(1/(2c), 0) que pasa por el
origen.
El semiplano x > c se
transforma en el interior del
crculo.
2
2
2
2 2
2 2 2 2
2 2 2 2
2
1
2
1
; 0
; ;
) valor cualquier ( : es r transforma a recta La
;
1
;
1 1
) (
|
.
|

\
|
= +
|
.
|

\
|
= +
=
+
= =
+
=
= =
+

+
=
+
= + + =
+
= =
c
v
c
u
c
u
v u
v u
v
y c
v u
u
x
y c x
v u
v
i
v u
u
iv u
iy x iv u
iy x z
z f

59
Transformaciones bilineales o de Mbius
) , , , , 0 ( ) ( C d c b a bc ad
d cz
b az
w z M e =
+
+
= =
La transformacin inversa es
tambin bilineal:
a cw
b dw
z w M

+
= =

) (
1
Observemos que la transformacin no est definida para z = -d/c.
Y lo mismo ocurre con w = a/c en el caso de la inversa.
El conjunto de posibles transformaciones bilineales forman un grupo.
August Ferdinand Mbius (1790-1868)
60
) , , , , 0 ( ) ( C d c b a bc ad
d cz
b az
w z M e =
+
+
= =
61
Cuando c = 0, T(z) tiene un cero simple en z
0
= d/c, y
entonces:
. / ) ( os escribirem y
,
/
/
lim ) ( lim
entonces , 0 adems, Si, . ) ( os Escribirem
, ) ( lim
0
0
c a T
c
a
z d c
z b a
z T
c z T
z T
z z
z z
=
=
+
+
=
= =
=